From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=0.4 required=5.0 tests=BAYES_00,FORGED_MUA_MOZILLA
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,a42bb4ec7c31dffd,start
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.180.87.100 with SMTP id w4mr3126249wiz.3.1350352497862;
        Mon, 15 Oct 2012 18:54:57 -0700 (PDT)
Path: 
 q10ni65138147wif.0!nntp.google.com!feeder1.cambriumusenet.nl!94.232.116.12.MISMATCH!feed.xsnews.nl!border-2.ams.xsnews.nl!feeder1.xlned.com!border2.nntp.ams.giganews.com!nntp.giganews.com!news.panservice.it!feeder.erje.net!feeder2.ecngs.de!ecngs!feeder.ecngs.de!xlned.com!feeder3.xlned.com!feeder3.cambriumusenet.nl!feed.tweaknews.nl!193.141.40.65.MISMATCH!npeer.de.kpn-eurorings.net!npeer-ng0.de.kpn-eurorings.net!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Mon, 08 Oct 2012 13:26:08 +0200
From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.7;
 rv:15.0) Gecko/20120907 Thunderbird/15.0.1
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Parentheses around conditional/quantified expressions
Message-ID: <5072b84d$0$6558$9b4e6d93@newsspool4.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 08 Oct 2012 13:26:05 CEST
NNTP-Posting-Host: 50323fdb.newsspool4.arcor-online.net
X-Trace: 
 DXC=R5=T4jjSh\EFJ3]dH>I?oE4IUK<Cl32<A4Fo<]lROoRA8kF<OcfhCOKPH:a3g3^SkAnc\616M64>JLh>_cHTX3jMk<6;X27kOV@
X-Complaints-To: usenet-abuse@arcor.de
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Date: 2012-10-08T13:26:05+02:00
List-Id: <comp.lang.ada>

The following source text is not accepted by GNAT:

package Instance is new Generic (for Some J in 1 .. 10 => True);

where generic package Generic has a single Boolean formal
parameters. GNAT says, "quantified expression must be parenthesized"
Are parentheses needed, or does GNAT just not support this case yet?

LRM 4.5.7 and 4.5.8 say, respectively,

"Wherever the Syntax Rules allow an expression,
 a conditional_expression may be used in place of the expression,
 so long as it is immediately surrounded by parentheses."

"Wherever the Syntax Rules allow an expression,
 a quantified_expression may be used in place of the expression,
 so long as it is immediately surrounded by parentheses."

GNAT does accept:

package Instance is new Generic ((for Some J in 1 .. 10 => True));