From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Q: how to copy contents and use ancestor's constraints at the same time ?
Date: Tue, 14 Aug 2007 09:45:13 +0200
Date: 2007-08-14T09:40:56+02:00 [thread overview]
Message-ID: <1k4d6t1tg0k3c.jlwrzml5dc38.dlg@40tude.net> (raw)
In-Reply-To: 46c0c9e8$1_3@news.bluewin.ch
On Mon, 13 Aug 2007 23:16:05 +0200, Gautier wrote:
> In the procedure below, how to do [A] and [B] together, and is there a way not
> to have to write the constraints,
What about:
subtype Constrained_PF is PF (n1=>1, n2=>2, n3=>3);
> like when constraining an object by
> initializing it with a value of the same type ?
X : PF := Y; -- ?
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2007-08-14 7:45 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2007-08-13 21:16 Q: how to copy contents and use ancestor's constraints at the same time ? Gautier
2007-08-13 21:33 ` Adam Beneschan
2007-08-14 0:48 ` Jeffrey R. Carter
2007-08-14 23:35 ` Adam Beneschan
2007-08-14 7:45 ` Dmitry A. Kazakov [this message]
2007-08-14 8:59 ` gautier_niouzes
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox