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: 103376,7332b19c66a79eea
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news2.google.com!Xl.tags.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!local2.nntp.dca.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Thu, 18 Nov 2010 12:00:10 -0600
Date: Thu, 18 Nov 2010 12:58:57 -0500
From: "Peter C. Chapin" <pcc482719@gmail.com>
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 6.1; en-US;
 rv:1.9.2.12) Gecko/20101027 Lightning/1.0b2 Thunderbird/3.1.6
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Quantified Expressions: "some"
References: <4ce31bb6$0$7670$9b4e6d93@newsspool1.arcor-online.net>
 <2d44ff4d-b3ad-4593-8492-4d16fb6b6a2e@j2g2000yqf.googlegroups.com>
 <1t7pvrh3i022d.8t9yqjonagar$.dlg@40tude.net>
 <C909757A.152E%news@findlayw.plus.com>
 <g15thsvf8vhu$.1pw6yv0xvdazy$.dlg@40tude.net>
 <4ce3e3c3$0$6987$9b4e6d93@newsspool4.arcor-online.net>
 <k6l7qqa0e8wi$.b1w0f4ni0xug$.dlg@40tude.net>
 <ic0v1b$qf9$1@news.eternal-september.org>
 <puezn7v9naom.1nrc5rh8wzm7p.dlg@40tude.net> <ic1uin$nge$1@munin.nbi.dk>
 <13vas9njbsmps.1npsunlgz5n4z$.dlg@40tude.net>
 <949be87b-78a2-4e7b-8b38-40f57a69eb55@d20g2000yqg.googlegroups.com>
 <8kknp7FkqpU1@mid.individual.net>
In-Reply-To: <8kknp7FkqpU1@mid.individual.net>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Message-ID: <UZmdnSgQyt529HjRRVn_vwA@giganews.com>
X-Usenet-Provider: http://www.giganews.com
X-Trace: 
 sv3-hj7kgoNWLt/rEclIYO37SZ+WLqP3zN3tcJ8OFBgyPvHmcdpBhWkIxHXGaLt1phj4Of1XZSrmjJ3085f!KhFgTQvASUvAGSK3Ph4iWHfmHLOe2zhQfH/gC6AmtiTutLkqY1QkMN8M8W+c5xo=
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint
 properly
X-Postfilter: 1.3.40
X-Original-Bytes: 3175
Xref: g2news2.google.com comp.lang.ada:16562
Date: 2010-11-18T12:58:57-05:00
List-Id: <comp.lang.ada>

On 2010-11-18 08:24, Niklas Holsti wrote:

>> Use a colon or double colon:
>>
>> ( for all X in 1 | 3..5 | F'Range :: P(X) )
> 
> I like that. The double-colon is visually more apparent than '|' and
> there is no risk of confusion with the earlier and other meanings of
> "=>". A single colon could also work, if we don't want to add new lexemes.

I spent some time this morning reading the email discussions associated
with AI05-0176 here

http://www.ada-auth.org/cgi-bin/cvsweb.cgi/ai05s/ai05-0176-1.txt?rev=1.17

The ARG has clearly (and not surprisingly) already considered many
issues. I'd encourage anyone interested in this subject to review the
extensive discussion before speculating on alternative syntax, etc.

For example on February 24, 2010 Edmond Schonberg says,

"Slight preference for colon in this context, but that would conflict
with the new iterator syntax, where we could say:

    for all X : T of C : P (X)

which is definitely confusing.  So right arrow may be the obvious choice."

I don't know if the "new iterator syntax" is still valid but I can
certainly see how the ':' might be a less than ideal choice in the
example above.

John Barnes outlines his objection to the vertical bar in a message
dated September 15, 2010. Two of his objections would also apply to ':'
as well ("too weak a symbol" and "=> is better because SPARK uses the
same symbol for the same purpose.")

Peter