"J-P. Rosen" <rosen@adalog.fr> wrote in message 
news:t6iad4$263$1@dont-email.me...
> Le 24/05/2022 à 06:05, Randy Brukardt a écrit :
>> To make a functioning :LR grammar for Ada, I*had*  to allow the aspect
>> specification in both places, and then make one of them illegal. Which is
>> more work than just allowing in either place. So I guess it is a matter 
>> of
>> perspective.:-)
>
> But if you allow it in either place, then you have to decide what happens 
> if it appears in /both/ places... Would you like conformance checking? I 
> bet no ;-)

An individual aspect can only be specified once per entity, so specifying it 
in both is obviously illegal. One would have to check the exact wording to 
ensure that it really said that, but surely that would be the intent.

                           Randy.