extended return syntax bug in 2012?

[Stephen Leake <stephen_leake@stephe-leake.org>]

I must be missing something.

In the Ada 2005 reference manual, the extended return statement syntax
(from Annex P
http://www.adaic.org/resources/add_content/standards/05rm/html/RM-P.html)
is:

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

     return_subtype_indication ::= subtype_indication | access_definition

That clearly starts with 'return'.

However, in Ada 2012
(http://www.ada-auth.org/standards/12rm/html/RM-P.html), it is:

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

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

That starts with a defining_identifier (the return object)!

The example in 6.5 is the same in both versions:

     return Node : Cell do           -- in a function body, see *note 3.10.1:: for Cell
        Node.Value := Result;
        Node.Succ := Next_Node;
     end return;

Am I missing something, or is this a bug in the 2012 ARM?

-- 
-- Stephe