Re: Lack of formal syntax undermines Ada

[usenet@leapheap.co.uk]

anon wrote:

Chris Noonan wrote:
> >As an example, my parser is having trouble with the fragment:
> >task type TT is
> >   pragma priority(12);
> >end TT;
> >Is this legal Ada95 syntax or not?

> As for your code: YES, it is legal!

I'm not so sure.

The relevant section in the LRM boils down to, in this context:

Pragmas are only allowed at any place where the syntax rules
allow an entry_declaration construct; but not in place of
an entry_declaration construct.

It looks to me that the pragma is appearing in place of
an entry_declaration.

Regards,
Chris Noonan