From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Generic Zero Length Array
Date: Sat, 23 Feb 2008 17:16:18 +0100
Date: 2008-02-23T17:16:20+01:00 [thread overview]
Message-ID: <k00e9qh5aikm$.uxu5c74wyl64$.dlg@40tude.net> (raw)
In-Reply-To: wccablrpx2p.fsf@shell01.TheWorld.com
On Sat, 23 Feb 2008 09:27:26 -0500, Robert A Duff wrote:
> I suppose ranges could be characterized by 'First/'Length,
> instead of 'First/'Last. And eliminate 'Last from the language.
Is Index'First any better than Index'Last? Null range does not have any
indices in it. That includes Index'First. Otherwise each element of Index
would have an individual null range associated with it.
(I think there should be something like null of Universal_Range.)
> Or else say 'Last raises Constraint_Error if 'First = 'Base'First
> and 'Length = 0.
A'Range /= A'First..A'Last?
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2008-02-23 16:16 UTC|newest]
Thread overview: 19+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-02-22 13:31 Generic Zero Length Array shaunpatterson
2008-02-22 13:53 ` Egil Høvik
2008-02-22 13:55 ` shaunpatterson
2008-02-22 14:11 ` Georg Bauhaus
2008-02-22 19:25 ` Randy Brukardt
2008-02-22 19:25 ` Randy Brukardt
2008-02-22 19:25 ` Randy Brukardt
2008-02-22 23:01 ` Adam Beneschan
2008-02-23 9:30 ` Dmitry A. Kazakov
2008-02-23 14:27 ` Robert A Duff
2008-02-23 16:16 ` Dmitry A. Kazakov [this message]
2008-02-25 16:41 ` Adam Beneschan
2008-02-25 19:14 ` Robert A Duff
2008-02-22 14:23 ` Stefan Lucks
2008-02-22 16:52 ` Adam Beneschan
2008-02-22 14:26 ` Robert A Duff
2008-02-22 15:22 ` Stefan Bellon
2008-02-22 23:03 ` Adam Beneschan
2008-02-23 10:19 ` Stefan Bellon
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox