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=1.2 required=5.0 tests=BAYES_00,FROM_DOMAIN_NOVOWEL,
	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!seismo!lll-crg!lll-lcc!pyramid!hplabs!sdcrdcf!steve
From: steve@sdcrdcf.UUCP (Steven Holtsberg)
Newsgroups: net.lang.ada
Subject: Another question about types and subypes
Message-ID: <2956@sdcrdcf.UUCP>
Date: Thu, 14-Aug-86 18:12:31 EDT
Article-I.D.: sdcrdcf.2956
Posted: Thu Aug 14 18:12:31 1986
Date-Received: Fri, 15-Aug-86 06:38:00 EDT
Reply-To: steve@sdcrdcf.UUCP (Steven Holtsberg)
Organization: System Development Corporation R&D, Santa Monica
List-Id: <comp.lang.ada>


On page 3-15, section 3.5.4, the ARM says:

A type declaration of the form:

    type T is range L .. R;

is, by definition equivalent to the following declarations:

    type <integer_type> is new predefined_integer_type;
    subtype T is <integer_type> range <integer_type>(L) .. <integer_type>(R);

It then goes on to refer to T as a _type_ :
"The elaboration of the declaration of an integer _type_ ...".
However, the "equivalent" pair of declarations given does
_not_ declare a new type named T, is declares an anonymous
type (integer_type) and a _subtype_ T.

Are they lying, or are they just careless?