Minor formatting issues in Ada202x Annex P Syntax Rules

[okellogg]

In draft 33 of the Ada 202x Annex P Syntax Rules

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

At [aliased][constant] insert space between ][.

9.1
single_task_declaration ::= 
   task defining_identifier
        [aspect_specification][is
     [new interface_list with]
     task_definition];

At [aspect_specification][is insert space between ][.

12.5.1
formal_derived_type_definition ::=
    [abstract] [limited | synchronized] new subtype_mark [[and interface_list]with private]

At [and interface_list]with private insert space between ] and with.

[ARG-Editor]

The syntax rules are synthesized from the definitions scattered throughout the RM, so you really want to reformat these definitions in 6.5, 9.1, and 12.5.1. The only thing unique to annex P is the introductory sentences.

[ARG-Editor]

I've added these to AI12-0446-1 (some presentation issues to correct in the final Ada 2022 RM), and it will be on the agenda for the upcoming ARG meeting.

[ARG-Editor]

The fixes have been made to the Ada 2022 draft, and approved by the ARG and WG 9. So I'm closing this issue.

[ARG-Editor]

At least I'm trying to close this issue as completed...

[okellogg]

Thanks.