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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,d0452dbe16ac0df4
X-Google-Attributes: gid103376,public
From: bobduff@world.std.com (Robert A Duff)
Subject: Re: ObjectAda vs Gnat -- bugs
Date: 1997/05/30
Message-ID: <EAywJp.4uA@world.std.com>#1/1
X-Deja-AN: 245082393
References: <EA93C3.CF4@thomsoft.com> <3385E9F1.2915@gsfc.nasa.gov>
 <EApBzG.AzH@world.std.com> <338C6563.2679@gsfc.nasa.gov>
Organization: The World Public Access UNIX, Brookline, MA
Newsgroups: comp.lang.ada
Date: 1997-05-30T00:00:00+00:00
List-Id: <comp.lang.ada>


In article <338C6563.2679@gsfc.nasa.gov>,
Stephen Leake  <Stephen.Leake@gsfc.nasa.gov> wrote:
>Robert A Duff wrote:
>> 
>> OK.  See RM-6.4(12) and 6.5(21).  And AARM-6.5(24.d) explains why.  The
>> fact that you can rename function results is just a side-effect -- it
>> wasn't the original purpose of the change.
>
>Thanks, but where, exactly, do I find the "AARM"?

It's at sw-eng.falls-church.va.us in directory
public/adaic/docs/standard/95lrm_rat/v6.0.

>... I assume this is the
>"Annotated Ada Reference Manual",

Yes.

>... but I cannot find it at AdaHome or
>AdaIC. I assume this is NOT the Rationale.

Correct.  It is not the Rationale.

AARM-6.5(24.d) just says:

        24.d   A function now creates an anonymous object.  This is necessary
        so that controlled types will work.

I.e. it wasn't intended as a "big deal" and the fact that you can rename
function results as constant objects was a handy side effect, but not
the original purpose.

The AARM is boring and useless for most folks.  But if you want to know
in detail why Ada 95 is the way it is, or if you're a compiler writer,
the AARM is useful.  It's filled with arcane trivia.

- Bob