From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Generic warning
Date: Wed, 18 Jun 2008 17:25:24 +0200
Date: 2008-06-18T17:25:24+02:00 [thread overview]
Message-ID: <1bbue8i1efnze.1eajkuma4u0p2.dlg@40tude.net> (raw)
In-Reply-To: wccfxrau6ca.fsf@shell01.TheWorld.com
On Wed, 18 Jun 2008 11:10:29 -0400, Robert A Duff wrote:
> You can also create a new type:
>
> type Index is new Positive range 1..Order;
You are right. But this type is not enough "new". It is merely
type P is new Positive;
subtype Index is P range 1..Order;
The hidden idea of
type Index is range 1..Order;
is to let the compiler choose the base according to the actual value of
Order. That would not work. Alas.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2008-06-18 15:25 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-06-17 16:44 Generic warning Sébastien Morand
2008-06-17 17:17 ` Dmitry A. Kazakov
2008-06-17 18:33 ` Sébastien Morand
2008-06-17 19:04 ` Dmitry A. Kazakov
2008-06-18 8:41 ` Sébastien Morand
2008-06-18 14:16 ` Brian Drummond
2008-06-18 14:32 ` Sébastien Morand
2008-06-18 14:39 ` Ed Falis
2008-06-18 14:42 ` Dmitry A. Kazakov
2008-06-18 15:10 ` Robert A Duff
2008-06-18 15:25 ` Dmitry A. Kazakov [this message]
2008-06-18 15:38 ` Ed Falis
2008-06-18 17:04 ` Dmitry A. Kazakov
2008-06-17 18:20 ` Jeffrey R. Carter
2008-06-18 8:55 ` Sébastien Morand
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox