From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Private discrete type as index
Date: Wed, 15 Jan 2003 17:45:06 +0100
Date: 2003-01-15T17:45:06+01:00 [thread overview]
Message-ID: <b0435c$la5bg$1@ID-77047.news.dfncis.de> (raw)
In-Reply-To: PDjU9.26685$No.3646@sccrnsc04
tmoran@acm.org wrote:
>> type x is limited private;
>> type test is array(x) of boolean;
> The "array" abstraction has certain characteristics, among them
> sequential indexing.
Why so? Array is just a mapping index->element, so if no index ranges
required then the array index need not to be ordered (have "<" and "="),
only "=" is required. Anyway a limited type is allowed to have both.
--
Regards,
Dmitry A. Kazakov
www.dmitry-kazakov.de
next prev parent reply other threads:[~2003-01-15 16:45 UTC|newest]
Thread overview: 16+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-01-11 21:42 Private discrete type as index AG
2003-01-11 2:34 ` James S. Rogers
2003-01-12 0:09 ` AG
2003-01-11 7:16 ` James S. Rogers
2003-01-12 5:47 ` AG
2003-01-11 12:22 ` Dmitry A. Kazakov
2003-01-11 14:36 ` Charles H. Sampson
2003-01-12 19:23 ` Keith Thompson
2003-01-12 19:48 ` tmoran
2003-01-15 16:45 ` Dmitry A. Kazakov [this message]
2003-01-18 6:24 ` AG
2003-01-17 14:14 ` tmoran
2003-01-19 1:38 ` AG
2003-01-18 8:36 ` tmoran
2003-01-19 6:06 ` AG
2003-01-17 16:28 ` Dmitry A. Kazakov
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox