From: Georg Bauhaus <rm-host.bauhaus@maps.futureapps.de>
Subject: Re: extended membership tests (branch)
Date: Thu, 31 Mar 2011 23:08:11 +0200
Date: 2011-03-31T23:08:11+02:00 [thread overview]
Message-ID: <4d94ed3b$0$6876$9b4e6d93@newsspool2.arcor-online.net> (raw)
In-Reply-To: <247eef65-9ff3-4268-af73-e74d092c1e82@k10g2000prh.googlegroups.com>
On 3/31/11 8:54 PM, Adam Beneschan wrote:
>> for b in b1 in b1 .. b1 loop
>> null;
>> end loop;
>
> See AARM 3.5(3.a). "for b in" has to be followed by either a subtype
> name, a 'Range attribute, or two "simple expressions" with .. between
> them. In the last case, the bounds must be "simple expressions", not
> general expressions. The syntax of simple_expressions doesn't allow
> membership tests (except in parentheses). So the above is illegal.
> This rule has been there since Ada 95.
Thank you. Now I have one more reason to like parentheses
around Boolean expressions outside conditionals. :-)
next prev parent reply other threads:[~2011-03-31 21:08 UTC|newest]
Thread overview: 18+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-03-31 7:04 extended membership tests Dan
2011-03-31 7:34 ` AdaMagica
2011-03-31 7:55 ` Dan
2011-03-31 7:58 ` Dan
2011-03-31 8:05 ` Ludovic Brenta
2011-03-31 9:28 ` AdaMagica
2011-03-31 14:33 ` Robert A Duff
2011-03-31 16:28 ` extended membership tests (branch) Georg Bauhaus
2011-03-31 17:58 ` Robert A Duff
2011-03-31 18:54 ` Adam Beneschan
2011-03-31 21:08 ` Georg Bauhaus [this message]
2011-03-31 21:10 ` Randy Brukardt
2011-04-01 5:14 ` extended membership tests AdaMagica
2011-04-01 6:33 ` Dan
2011-04-01 7:03 ` AdaMagica
2011-04-01 9:56 ` stefan-lucks
2011-04-01 15:11 ` Adam Beneschan
2011-04-02 1:22 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox