[comp.lang.ada] Follow-up to my original posting

steve@dim.sm.unisys.com (Steven Holtsberg) (11/21/87)

I believe that if the following slight change were made to the reference
manual, it would be OK.

RM 3.5

For any scalar type T or for any subtype T of a scalar type, the
following attributes are defined:                                              7

T' FIRST	Yields the lower bound of T.  The value of this attribute
                has the same base type as T.
                             ^^^^
T' LAST		Yields the upper bound of T.  The value of this attribute
                has the same base type as T.
                             ^^^^

stt@ada-uts (11/23/87)

A scalar value doesn't *have* a "subtype"; it belongs to
each subtype of its type which includes the value in its range.

The only difference between
"base type" and "type" has to do with subtype issues, where
"base type" is really "base subtype," which is the subtype
with the maximal range supported by the type.

S. Tucker Taft
Intermetrics, Inc.
Cambridge, MA  02138