From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!.POSTED!not-for-mail
From: Bob Duff <bobduff@theworld.com>
Newsgroups: comp.lang.ada
Subject: Re: Placement of pragmas in the grammar (language laywers required)
Date: Thu, 10 Dec 2015 12:12:28 -0500
Organization: A noiseless patient Spider
Message-ID: <874mfqz0qr.fsf@theworld.com>
References: <f3829f17-b212-447f-b130-f9d1f89c93f0@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: mx02.eternal-september.org;
 posting-host="f894d1c4a3c7179f566ec651474040aa";
	logging-data="29883"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1+4L2FZyk8cnbO8yOMAwHhO"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux)
Cancel-Lock: sha1:+exBZjFILHTXI26BFHF3Wx2yQ5k=
	sha1:r5eRWk5HGE8pdReWXSu31BZ/IA4=
Xref: news.eternal-september.org comp.lang.ada:28753
Date: 2015-12-10T12:12:28-05:00
List-Id: <comp.lang.ada>

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