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