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,9c9db81a63ddf1fe
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news3.google.com!proxad.net!feeder1-2.proxad.net!news.in2p3.fr!in2p3.fr!news.ecp.fr!news.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: extended membership tests
Date: Fri, 1 Apr 2011 20:22:21 -0500
Organization: Jacob Sparre Andersen Research & Innovation
Message-ID: <in5toh$uvj$1@munin.nbi.dk>
References: 
 <7dc23d58-4a48-4444-90cd-7f9786b19aad@i14g2000yqe.googlegroups.com>
 <wcchbaj8imz.fsf@shell01.TheWorld.com>
 <5ab2b5ee-d08e-4e5e-93a7-808636f3cfa0@p16g2000yqb.googlegroups.com>
 <9e379bf0-ade3-4694-83d3-60d99f54bdf5@q36g2000yqn.googlegroups.com>
 <0a58c4e0-f4b5-4cab-8aa7-7ab39337664e@p13g2000yqh.googlegroups.com>
NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net
X-Trace: munin.nbi.dk 1301707346 31731 69.95.181.76 (2 Apr 2011 01:22:26 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Sat, 2 Apr 2011 01:22:26 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.5931
Xref: g2news1.google.com comp.lang.ada:18678
Date: 2011-04-01T20:22:21-05:00
List-Id: <comp.lang.ada>

"AdaMagica" <christ-usch.grein@t-online.de> wrote in message 
news:0a58c4e0-f4b5-4cab-8aa7-7ab39337664e@p13g2000yqh.googlegroups.com...
...
>I do not see why we need choice_expression and choice_relation RM
>4.4(2.1/3,2.2/3).
>Wouldn't simple_expression suffice in (3.2/3)?

It exists so that the incompatibility with case statements is limited only 
to memberships. Without the choice_expression syntax,

    when A and 16#0100# =>

would be syntactically illegal. No one cares about Boolean case statements, 
but in this example A is a modular value, and it makes at least some sense 
to write this. As such we worried that it might actually exist in code (it's 
a common idiom in code that intefaces to Win32, for one example), and since 
the fix is relatively easy (a bit of additional syntax), we added the extra 
syntax. It's discussed in the e-mail filed in AI05-0158-1 (but not in the 
body of the AI itself).

                               Randy.