comp.lang.ada
 help / color / mirror / Atom feed
From: "Egil Høvik" <egilhovik@hotmail.com>
Subject: Re: extended return syntax bug in 2012?
Date: Tue, 18 Sep 2012 02:14:59 -0700 (PDT)
Date: 2012-09-18T02:14:59-07:00	[thread overview]
Message-ID: <e3ab37a8-85d2-4ac6-bd10-000e780a984e@googlegroups.com> (raw)
In-Reply-To: <85boh3ixn6.fsf@stephe-leake.org>

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



  reply	other threads:[~2012-09-18  9:15 UTC|newest]

Thread overview: 7+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2012-09-18  7:43 extended return syntax bug in 2012? Stephen Leake
2012-09-18  9:14 ` Egil Høvik [this message]
2012-09-19  1:41   ` Stephen Leake
2012-09-19  4:54     ` Adam Beneschan
2012-09-18 16:08 ` Pascal Obry
2012-09-18 20:29   ` AdaMagica
2012-09-19  1:43     ` Stephen Leake
replies disabled

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