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

[EGarrulo <egarrulo@gmail.com>]

On Friday, July 31, 2015 at 7:00:13 PM UTC+2, Stephen Leake wrote:
> A question recently came up on the Emacs ada-mode list; my Emacs
> ada-mode parser rejects this if_expression in an association list:
> 
>    Tmp : Boolean := Id (if True then True else True);
> 
> but accepts this:
> 
>    Tmp : Boolean := Id ((if True then True else True));
> 
> 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?

The Rationale says it in the "1.3.2 Expressions" chapter.