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: jsa@alexandria (Jon S Anthony)
Subject: Re: ObjectAda vs Gnat -- bugs
Date: 1997/05/16
Message-ID: <JSA.97May16150307@alexandria>#1/1
X-Deja-AN: 241980399
Distribution: world
References: <337B65FC.98D@gsfc.nasa.gov>
 <EAA25I.9nn.0.-s@inmet.camb.inmet.com>
Organization: PSI Public Usenet Link
Newsgroups: comp.lang.ada
Date: 1997-05-16T00:00:00+00:00
List-Id: <comp.lang.ada>


In article <EAA25I.9nn.0.-s@inmet.camb.inmet.com> stt@houdini.camb.inmet.com (Tucker Taft) writes:

> : > Which of the compilers is correct ?
> 
> : gnat; see below
> 
> Actually, Gnat is wrong and Object Ada is correct ;-).  In Ada 95,
> the result of calling a function is a constant object (per RM95 3.3(10,21)), 
> and it may be renamed (8.5.1(4)).  This fact is mentioned in AARM 3.3(26.b).

And, what is more, this is a _very_ useful thing.  Several nice
examples are in the Rationale!


/Jon
-- 
Jon Anthony
Organon Motives, Inc.
Belmont, MA 02178
617.484.3383
jsa@organon.com