comp.lang.ada
 help / color / mirror / Atom feed
From: Bill Findlay <news@findlayw.plus.com>
Subject: Re: Syntax of extended return statement
Date: Wed, 16 Mar 2011 17:03:55 +0000
Date: 2011-03-16T17:03:55+00:00	[thread overview]
Message-ID: <C9A69DFB.8324%news@findlayw.plus.com> (raw)
In-Reply-To: wccoc5bkdmd.fsf@shell01.TheWorld.com

On 16/03/2011 02:23, in article wccoc5bkdmd.fsf@shell01.TheWorld.com,
"Robert A Duff" <bobduff@shell01.TheWorld.com> wrote:

> Bill Findlay <news@findlayw.plus.com> writes:
> 
>> My problem is that I see no justification for that in the Ada 2005 RM, which
>> gives:
>> 
>> extended_return_statement ::=
>> 
>> return defining_identifier:[aliased] return_subtype_indication[:=expression]
>> [do
>>    handled_sequence_of_statements
>> end return]; 
> ...
> 
>> Can anyone enlighten me?
> 
> "constant" is allowed by AI05-0015.  If you look at the latest version
> of the RM, you will see that syntax allowed.

Aha! Out-of-date RM! Now I can sleep easy. 8-)

Thanks, Bob.

-- 
Bill Findlay
with blueyonder.co.uk;
use  surname & forename;




  reply	other threads:[~2011-03-16 17:03 UTC|newest]

Thread overview: 4+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2011-03-16  0:01 Syntax of extended return statement Bill Findlay
2011-03-16  2:23 ` Robert A Duff
2011-03-16 17:03   ` Bill Findlay [this message]
2011-03-16 10:28 ` Julian Leyh
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox