From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
	ip-172-31-65-14.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-0.9 required=3.0 tests=BAYES_00,
	PP_MIME_FAKE_ASCII_TEXT autolearn=no autolearn_force=no version=3.4.6
Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Aspect location in expression function.
Date: Wed, 25 May 2022 00:17:28 -0500
Organization: A noiseless patient Spider
Message-ID: <t6ke5a$moi$1@dont-email.me>
References: <t5o4sg$3oh$1@gioia.aioe.org> <t5oigj$pag$1@dont-email.me> <t6hlhq$vcu$1@dont-email.me> <t6iad4$263$1@dont-email.me>
Injection-Date: Wed, 25 May 2022 05:17:30 -0000 (UTC)
Injection-Info: reader02.eternal-september.org; posting-host="806c3b021b8ce33d20fe67da3968fc86";
	logging-data="23314"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19r/dEFGMtQwLlLTiub6R0I18gtjQhf1oY="
Cancel-Lock: sha1:Uc4eaPWZJ1BXIGGEAz2r+/6V9NQ=
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.7246
X-RFC2646: Format=Flowed; Response
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-Priority: 3
X-MSMail-Priority: Normal
Xref: reader02.eternal-september.org comp.lang.ada:63876
List-Id: <comp.lang.ada>

"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.