Re: Placement of pragmas in the grammar (language laywers required)

[Lucretia <laguest9000@googlemail.com>]

On Thursday, 10 December 2015 17:12:30 UTC, Bob Duff  wrote:

> That won't work without additional checks, because of the "not in place
> of" wording.  This is syntactically illegal:
> 
>     type T is record
>         pragma Listing(Off);
>     end record;

I would assume the check to make sure pragma is "not in place of" something should be part of the semantic steps?

So far, I've modified the following from the EBNF in the manual:

-- 3.8

component_item =
     component_declaration
   | aspect_clause
   | pragma
   ;

-- 3.11

basic_declarative_item =
     basic_declaration
   | aspect_clause
   | use_clause
   | pragma
   ;

-- 9.1

task_item =
     entry_declaration
   | aspect_clause
   | pragma
   ;

-- 9.4

protected_operation_item =
     subprogram_declaration
   | subprogram_body
   | entry_body
   | aspect_clause
   | pragma
   ;

-- 10.1.1

library_item =
    [private] library_unit_declaration
  | library_unit_body
  | [private] library_unit_renaming_declaration
  | pragma
  ;

The pragma in library_item seems to cover context_item as well due to:

compilation_unit ::= 
    context_clause library_item
  | context_clause subunit

Where library_item reduces to pragma and context_clause would reduce to the empty string. I mean, I could put it in every case, but that seems like overkill.