Re: Ada reference manual rule for doubled parentheses around if_expression?

["Randy Brukardt" <randy@rrsoftware.com>]

"Bob Duff" <bobduff@theworld.com> wrote in message 
news:87mvybktvt.fsf@theworld.com...
> Stephen Leake <stephen_leake@stephe-leake.org> writes:
>
...
>> 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.
>
> I agree that's a bug.  It doesn't seem to have anything to do with the
> special rules about conditional/quantified expressions.  Or does it?
>
> If you report this to report@adacore.com, it will get fixed.

Looks like a bug to me, too. I remembered that we had changed something 
about these, but what it was was to accept an aggregate as well as a 
parenthesized expression:

    function Expression_Function_1 (V : Integer) return Rec is (A => 1, B => 
V);

rather than

    function Expression_Function_1 (V : Integer) return Rec is ((A => 1, B 
=> V));

This was another case of double paren elimination. But of course we don't 
have any rules that eliminate all parens!

                                  Randy.