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.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,1edf0dd6205794b6
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-11-09 02:19:10 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news.tele.dk!news.tele.dk!small.news.tele.dk!peer1.news.newnet.co.uk!news-peer.gradwell.net!not-for-mail
Newsgroups: comp.lang.ada
From: porton@ex-code.com (Victor Porton)
Date: Sat, 09 Nov 2002 15:01:47 +0500
References: <3dccc024$0$307$bed64819@news.gradwell.net>
Subject: Re: Bug in GNAT?
Mime-Version: 1.0
X-Newsreader: knews 1.0b.1
Content-Type: text/plain; charset=us-ascii
Message-ID: <3dcce11d$0$307$bed64819@news.gradwell.net>
NNTP-Posting-Date: 09 Nov 2002 10:19:09 GMT
NNTP-Posting-Host: 195.149.39.13
X-Trace: 1036837149 news.gradwell.net 307 mail2news/195.149.39.13
X-Complaints-To: news-abuse@gradwell.net
Xref: archiver1.google.com comp.lang.ada:30629
Date: 2002-11-09T10:19:09+00:00
List-Id: <comp.lang.ada>

In article <mailman.1036834503.25329.comp.lang.ada@ada.eu.org>,
	Michal Nowak <vinnie@inetia.pl> writes:
> 
> On 2002-11-09 at 11:56 porton@ex-code.com wrote:
> 
>>GNAT-3.14p compiles the following without error-messages.
>>Is it a bug in GNAT or in Ada Standard?
> 
> Neither one.
> 
>>function F(A: Integer) return Integer is begin return 1; end;
>>Y: Integer renames F(3);
>>
>>Seemingly GNAT parser "thinks" that F(3) is an array element
>>:-)
> 
> No, it thinks it is renaming an object.
> See Reference Manual, 8.5.1 Object Renaming Declarations:
> 
> 1	An object_renaming_declaration is used to rename an object.
> 
> Legality Rules
> 4	The renamed entity shall be an object.
> 
> The function F is returning an object of type Integer. 
> So, if you invoke F(3) you get an object in result and then
> you rename it to Y. 
> Feeling beteer? :-)

But this compiles with an error:

function F(A: Integer) return Integer is begin return 1; end;
Y: Integer renames F(3)+2;

What is the difference?