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.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD, FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: a07f3367d7,a42bb4ec7c31dffd X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII-7-bit Received: by 10.224.223.84 with SMTP id ij20mr12534410qab.5.1349700685226; Mon, 08 Oct 2012 05:51:25 -0700 (PDT) Received: by 10.236.175.1 with SMTP id y1mr1649370yhl.9.1349700685188; Mon, 08 Oct 2012 05:51:25 -0700 (PDT) Path: r17ni19qap.0!nntp.google.com!l8no31133753qao.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Mon, 8 Oct 2012 05:51:25 -0700 (PDT) In-Reply-To: <5072b84d$0$6558$9b4e6d93@newsspool4.arcor-online.net> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=134.223.230.201; posting-account=mjE6MAoAAADjsB3NIuKgfHO4u-Elh3cb NNTP-Posting-Host: 134.223.230.201 References: <5072b84d$0$6558$9b4e6d93@newsspool4.arcor-online.net> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <6f83d331-d1a9-41d5-b21f-db894e90f871@googlegroups.com> Subject: Re: Parentheses around conditional/quantified expressions From: Marc C Injection-Date: Mon, 08 Oct 2012 12:51:25 +0000 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Date: 2012-10-08T05:51:25-07:00 List-Id: On Monday, October 8, 2012 6:26:06 AM UTC-5, Georg Bauhaus wrote: > The following source text is not accepted by GNAT: >=20 > package Instance is new Generic (for Some J in 1 .. 10 =3D> True); >=20 > 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? > GNAT does accept: >=20 > package Instance is new Generic ((for Some J in 1 .. 10 =3D> True)); I can't speak to the validity of this construct, but if it does turn out to= be valid code that GNAT is rejecting, report it to them. Even as an unsupp= orted user they'll accept bug reports, and *may* respond. AdaCore has conceded that some of the 2012 features implemented in GNAT GPL= 2012 have some bugs (http://identi.ca/conversation/94802814#notice-954324= 14), though everything I've reported so far they've said has been fixed in = their current baseline. Just gotta wait for GNAT GPL 2013 :-) Marc A. Criley