From: Stephen Leake <stephen_leake@stephe-leake.org>
Subject: Re: Ada reference manual rule for doubled parentheses around if_expression?
Date: Sat, 01 Aug 2015 04:11:13 -0500
Date: 2015-08-01T04:11:13-05:00 [thread overview]
Message-ID: <86r3nnjrv2.fsf@stephe-leake.org> (raw)
In-Reply-To: 87r3nokwpf.fsf@theworld.com
Bob Duff <bobduff@theworld.com> writes:
> Stephen Leake <stephen_leake@stephe-leake.org> writes:
>
>> I remember seeing some rule in the Ada reference manual that says the
>> doubled parens are not needed here. But now I can't find the rule, and I
>> don't want to edit my grammar without a reference.
>>
>> Anyone know where that rule is? or what to search for?
>
> 4.5.7(7). This is a syntax rule, despite not being written in BNF.
> I suggest you read the AARM annotations.
Thanks.
There's a similar rule for quantified expressions in 4.5.8(4).
GNAT also accepts this:
function Expression_Function_1 (V : Integer) return Boolean
is (V = V and then True)
or else True;
I think that's a bug, because there are no parens surrounding the
entire expression.
--
-- Stephe
next prev parent reply other threads:[~2015-08-01 9:11 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-07-31 17:00 Ada reference manual rule for doubled parentheses around if_expression? Stephen Leake
2015-07-31 18:29 ` Bob Duff
2015-08-01 7:36 ` Simon Wright
2015-08-01 9:11 ` Stephen Leake [this message]
2015-08-01 13:42 ` Bob Duff
2015-08-03 22:56 ` Randy Brukardt
2015-07-31 20:07 ` EGarrulo
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox