From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: Question about base types
Date: 1997/01/29
Date: 1997-01-29T00:00:00+00:00 [thread overview]
Message-ID: <dewar.854545502@merv> (raw)
In-Reply-To: 32ECD6B6.3B5A@elca-matrix.ch
Mats said
"No, but almost. the first line is wrong and should read
type <anonomous parent of T> is range <min> .. <max>;"
That's still wrong, or at least confusing, since it implies that the
anonymous parent of T is constrained, which is wrong.
The implicit declaration is more like
type <anonymous parent of T> is new predefined-integer-type
where predefined-integer-type is one of the predefined base types, e.g.
integer'base (NOT integer).
Note that in Ada 95, the base types of integer types are NOT constrained,
for example Integer'Base is not a constrained type. Implementations are
allowed to restrict the values of type Integer'Base that they handle, but
conceptually, Integer'Base includes all possible integer values.
next prev parent reply other threads:[~1997-01-29 0:00 UTC|newest]
Thread overview: 26+ messages / expand[flat|nested] mbox.gz Atom feed top
1997-01-26 0:00 Question about base types Matthew Heaney
1997-01-27 0:00 ` Robert A Duff
1997-01-30 0:00 ` Matthew Heaney
1997-01-30 0:00 ` Matthew Heaney
1997-01-30 0:00 ` Robert Dewar
1997-01-30 0:00 ` Matthew Heaney
[not found] ` <EACHUS.97Feb3221558@spectre.mitre.org>
[not found] ` <dewar.855063927@merv>
[not found] ` <EACHUS.97Feb6145918@spectre.mitre.org>
[not found] ` <dewar.855276722@merv>
1997-02-07 0:00 ` Mats Weber
1997-02-08 0:00 ` Robert Dewar
1997-02-10 0:00 ` Mats Weber
1997-02-11 0:00 ` Robert Dewar
[not found] ` <32FB45D4.2160@watson.ibm.com>
1997-02-10 0:00 ` Robert Dewar
1997-02-08 0:00 ` Robert Dewar
1997-02-09 0:00 ` Matthew Heaney
1997-02-09 0:00 ` Robert Dewar
1997-02-09 0:00 ` Matthew Heaney
1997-02-10 0:00 ` Robert Dewar
1997-02-10 0:00 ` Larry Kilgallen
1997-02-11 0:00 ` Robert I. Eachus
1997-02-12 0:00 ` Robert Dewar
1997-01-27 0:00 ` Mats Weber
1997-01-28 0:00 ` Robert A Duff
1997-01-29 0:00 ` Robert Dewar [this message]
1997-01-28 0:00 ` Robert I. Eachus
1997-01-28 0:00 ` Mats Weber
1997-01-29 0:00 ` Robert I. Eachus
1997-01-30 0:00 ` Robert A Duff
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox