From: Marc C <mc.provisional@gmail.com>
Subject: Re: Parentheses around conditional/quantified expressions
Date: Mon, 8 Oct 2012 05:51:25 -0700 (PDT)
Date: 2012-10-08T05:51:25-07:00 [thread overview]
Message-ID: <6f83d331-d1a9-41d5-b21f-db894e90f871@googlegroups.com> (raw)
In-Reply-To: <5072b84d$0$6558$9b4e6d93@newsspool4.arcor-online.net>
On Monday, October 8, 2012 6:26:06 AM UTC-5, Georg Bauhaus wrote:
> 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?
> GNAT does accept:
>
> package Instance is new Generic ((for Some J in 1 .. 10 => 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 unsupported 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-95432414), 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
prev parent reply other threads:[~2012-10-08 12:51 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-10-08 11:26 Parentheses around conditional/quantified expressions Georg Bauhaus
2012-10-08 12:51 ` Marc C [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox