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=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,334f9012742e58fc
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news4.google.com!proxad.net!feeder1-2.proxad.net!194.25.134.126.MISMATCH!newsfeed01.sul.t-online.de!t-online.de!newsfeed.arcor.de!newsspool1.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Tue, 06 Jul 2010 11:13:44 +0200
From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; U; Intel Mac OS X 10.5; en-US;
 rv:1.9.2.4) Gecko/20100608 Thunderbird/3.1
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Gnat GPL 2010 available soon (conditional expressions)
References: <2010061621145016807-sjs@essexacuk>
 <op.veihbktxnfgb3u@richard.piraten.dd>
  <0fa4c574-9539-492f-8514-d32c68beb22a@w31g2000yqb.googlegroups.com>
 <1frrgtpa5dycl$.12kl72iqsg3dx$.dlg@40tude.net>
 <4c270613$0$6974$9b4e6d93@newsspool4.arcor-online.net>
 <1wuwvzgwlwgli$.1birkinieia0d$.dlg@40tude.net>
 <f1a86f31-598c-4cb1-a60e-011da55f5feb@x27g2000yqb.googlegroups.com>
 <1ur19ais2ejih.mjbgdsv9pr66.dlg@40tude.net>
 <4c275562$0$6987$9b4e6d93@newsspool4.arcor-online.net>
 <4c276114$0$2378$4d3efbfe@news.sover.net> <i0dhh3$qh7$1@munin.nbi.dk>
 <i0e5uc$o4s$1@news.eternal-september.org>
 <7ec98a71-edcb-4851-87fd-6702fb963829@q12g2000yqj.googlegroups.com>
 <d66a76c6-5409-409f-85d5-5508aaf9eb41@u7g2000yqm.googlegroups.com>
 <xtiljxug4bhh.urxhi8xkn4fw.dlg@40tude.net>
 <8ac6b8d6-f4c0-4a8b-b3aa-ff6f2d136544@k39g2000yqb.googlegroups.com>
 <1wl74eppoqii9$.1oxpbe851z3jk$.dlg@40tude.net>
In-Reply-To: <1wl74eppoqii9$.1oxpbe851z3jk$.dlg@40tude.net>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Message-ID: <4c32f3c7$0$6882$9b4e6d93@newsspool2.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 06 Jul 2010 11:13:43 CEST
NNTP-Posting-Host: 59853583.newsspool2.arcor-online.net
X-Trace: 
 DXC=Om`ZU^H1R?c]BlmkiiU@BiA9EHlD;3Ycb4Fo<]lROoRa8kF<OcfhCOk4<1b:Cc>W@dnc\616M64>jLh>_cHTX3jmVFF1kbSPe1g
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news2.google.com comp.lang.ada:13188
Date: 2010-07-06T11:13:43+02:00
List-Id: <comp.lang.ada>

On 06.07.10 09:36, Dmitry A. Kazakov wrote:

> BTW, is your construct 1) a macro expansion (as I remember PL/1
> preprocessor also had %for statement alike) and how far are you ready to go
> allowing "for" macros? Loops unrolling? Or else 2) it is an attempt to name
> the components of an array element index. In the latter case
> 
>    (I, J : others => <an expression involving I,J>)
>    (I : 1..5 => <an expression involving I>)
>    (Odd : 1 | 3 | 5 | 7 => <an expression involving Odd>, others => 0.0)
>    etc
> 
> looks to me more consistent with existing Ada, e.g. when Error : others =>
> in exception handlers.

I think that AI 05 177 might be on topic.
http://www.ada-auth.org/cgi-bin/cvsweb.cgi/ai05s/ai05-0177-1.txt