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

[Bob Duff <bobduff@theworld.com>]

Lucretia <laguest9000@googlemail.com> writes:

> I'm looking at the 2012 grammar in the AARM/LRM and I just don't get why you
> designers don't include pragma's in their correct places instead of saying:

I agree pragma placement should have been part of the BNF.

>...
> and again inside the above *_declaration's? And then, e.g component_item:
>
> component_item ::= component_declaration | aspect_clause | pragma

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;

- Bob