From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Aspect location in expression function.
Date: Wed, 25 May 2022 00:17:28 -0500 [thread overview]
Message-ID: <t6ke5a$moi$1@dont-email.me> (raw)
In-Reply-To: t6iad4$263$1@dont-email.me
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 834 bytes --]
"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.
next prev parent reply other threads:[~2022-05-25 5:17 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2022-05-14 11:47 Aspect location in expression function Blady
2022-05-14 15:40 ` J-P. Rosen
2022-05-24 4:05 ` Randy Brukardt
2022-05-24 10:01 ` J-P. Rosen
2022-05-25 5:17 ` Randy Brukardt [this message]
2022-05-24 18:24 ` G.B.
2022-05-25 5:20 ` Randy Brukardt
2022-05-25 18:45 ` G.B.
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox