From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: **
X-Spam-Status: No, score=2.6 required=5.0 tests=BAYES_20,INVALID_DATE,
	MSGID_SHORT,REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no
	version=3.4.4
Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!uunet!husc6!rutgers!sri-spam!ames!sdcsvax!ucsdhub!hp-sdd!hplabs!sdcrdcf!sdcsmb!dim!steve
From: steve@dim.sm.unisys.com (Steven Holtsberg)
Newsgroups: comp.lang.ada
Subject: Follow-up to my original posting (Re: RM question concerning types)
Message-ID: <22@dim.sm.unisys.com>
Date: Fri, 20-Nov-87 19:46:24 EST
Article-I.D.: dim.22
Posted: Fri Nov 20 19:46:24 1987
Date-Received: Sun, 22-Nov-87 22:15:51 EST
References: <21@dim.sm.unisys.com>
Reply-To: steve@dim.sm.unisys.com (Steven Holtsberg)
Organization: Unisys Santa Monica
List-Id: <comp.lang.ada>

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.
                             ^^^^