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.0 required=5.0 tests=BAYES_00,FORGED_HOTMAIL_RCVD2,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,d0dc7a6023c9ffb1
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.180.98.234 with SMTP id el10mr2369056wib.3.1347959700715;
        Tue, 18 Sep 2012 02:15:00 -0700 (PDT)
Received: by 10.52.21.44 with SMTP id s12mr1189613vde.5.1347959700346; Tue, 18
 Sep 2012 02:15:00 -0700 (PDT)
Path: 
 ed8ni114471314wib.0!nntp.google.com!v8no33111qap.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Tue, 18 Sep 2012 02:14:59 -0700 (PDT)
In-Reply-To: <85boh3ixn6.fsf@stephe-leake.org>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=193.71.180.107;
 posting-account=P68zsgoAAABKpXKMUuwuUZ_RfBk1kZfB
NNTP-Posting-Host: 193.71.180.107
References: <85boh3ixn6.fsf@stephe-leake.org>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <e3ab37a8-85d2-4ac6-bd10-000e780a984e@googlegroups.com>
Subject: Re: extended return syntax bug in 2012?
From: =?ISO-8859-1?Q?Egil_H=F8vik?= <egilhovik@hotmail.com>
Injection-Date: Tue, 18 Sep 2012 09:15:00 +0000
Content-Type: text/plain; charset=ISO-8859-1
Date: 2012-09-18T02:14:59-07:00
List-Id: <comp.lang.ada>

I would say it's a bug.
The extended_return_object_declaration was introduced by this AI:
http://www.ada-auth.org/cgi-bin/cvsweb.cgi/ai05s/ai05-0277-1.txt?rev=1.3

[quote]
!corrigendum 6.5(2.1/2)

Replace the paragraph:

extended_return_statement ::=
    return defining_identifier : [aliased] return_subtype_indication [:= expression] [do
        handled_sequence_of_statements
    end return];

by:

extended_return_object_declaration ::=
    defining_identifier : [aliased][constant] return_subtype_indication [:= expression]

extended_return_statement ::=
    return extended_return_object_declaration [do
        handled_sequence_of_statements
    end return];
[/quote]

As you can see, the AI still has "return" in the extended_return_statement.

-- 
~egilhh