From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Ranges and (non)static constraints
Date: Fri, 17 Nov 2006 16:07:23 +0100
Date: 2006-11-17T16:07:23+01:00 [thread overview]
Message-ID: <pu08fww26xs9$.jctxs7a23inh.dlg@40tude.net> (raw)
In-Reply-To: 455db67b_1@glkas0286.greenlnk.net
On Fri, 17 Nov 2006 13:30:34 -0000, Stuart wrote:
> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message
> news:1msd2xaahtsgv.f8io255x4f0n$.dlg@40tude.net...
>
>> These are sufficiently different. Consider this example:
>>
>> N : constant := 2**64; -- Legal in GNAT
>> type T is range 1..N; -- Illegal in GNAT
>>
>> (This is not a bug)
>>
>> I would at least require the second be legal when the first is.
>
> Why? The first is a named value declaration (rather than a constant object
> declaration). In the type declaration I think the semantics of Ada require
> that the base type be a signed type, which thus introduces issues of
> symmetry around zero.
So? Let it allocate two 64-bit words! It is not my business, Ada is a
higher-level language.
> Unfortunately I am in a bit of a rush at the moment so I don't have a chance
> to test an idea like:
> type T is mod N range 1..N-1;
You mean:
type T is mod N;
subtype S is T range 1..N;
No, that won't work.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2006-11-17 15:07 UTC|newest]
Thread overview: 35+ messages / expand[flat|nested] mbox.gz Atom feed top
2006-11-16 11:02 Ranges and (non)static constraints Maciej Sobczak
2006-11-16 12:23 ` Martin Krischik
2006-11-16 13:23 ` Maciej Sobczak
2006-11-16 19:01 ` Jeffrey R. Carter
2006-11-18 0:02 ` Robert A Duff
2006-11-16 13:13 ` Dmitry A. Kazakov
2006-11-16 17:18 ` Jean-Pierre Rosen
2006-11-17 9:08 ` Dmitry A. Kazakov
2006-11-17 10:30 ` Stuart
2006-11-17 10:37 ` Jean-Pierre Rosen
2006-11-17 14:57 ` Dmitry A. Kazakov
2006-11-17 16:04 ` Jean-Pierre Rosen
2006-11-18 9:51 ` Dmitry A. Kazakov
2006-11-18 14:17 ` Stephen Leake
2006-11-17 20:05 ` Jeffrey R. Carter
2006-11-17 23:58 ` Robert A Duff
2006-11-18 9:47 ` Dmitry A. Kazakov
2006-11-19 2:27 ` Jeffrey R. Carter
2006-11-19 12:13 ` Björn Persson
2006-11-19 22:51 ` Robert A Duff
2006-11-20 3:51 ` Jeffrey R. Carter
2006-11-21 21:02 ` Robert A Duff
2006-11-20 17:35 ` Adam Beneschan
2006-11-17 15:45 ` Maciej Sobczak
2006-11-17 16:45 ` Jean-Pierre Rosen
2006-11-17 10:39 ` AW: " Grein, Christoph (Fa. ESG)
2006-11-17 11:20 ` Dmitry A. Kazakov
2006-11-17 13:30 ` Stuart
2006-11-17 15:07 ` Dmitry A. Kazakov [this message]
2006-11-17 16:47 ` Jean-Pierre Rosen
2006-11-20 14:08 ` Stuart
2006-11-20 14:12 ` Stuart
2006-11-20 15:48 ` Dmitry A. Kazakov
2006-11-16 18:56 ` Jeffrey R. Carter
2006-11-16 20:00 ` Adam Beneschan
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox