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,7332b19c66a79eea X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII Path: g2news2.google.com!news4.google.com!feeder.news-service.com!85.214.198.2.MISMATCH!eternal-september.org!feeder.eternal-september.org!.POSTED!not-for-mail From: "J-P. Rosen" Newsgroups: comp.lang.ada Subject: Re: Quantified Expressions: "some" Date: Wed, 17 Nov 2010 17:14:27 +0100 Organization: Adalog Message-ID: References: <4ce31bb6$0$7670$9b4e6d93@newsspool1.arcor-online.net> <2d44ff4d-b3ad-4593-8492-4d16fb6b6a2e@j2g2000yqf.googlegroups.com> <1t7pvrh3i022d.8t9yqjonagar$.dlg@40tude.net> <4ce3e3c3$0$6987$9b4e6d93@newsspool4.arcor-online.net> Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit Injection-Date: Wed, 17 Nov 2010 16:14:35 +0000 (UTC) Injection-Info: mx01.eternal-september.org; posting-host="vslmL83UgSXHD8TS0/yPxA"; logging-data="27113"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19CjRtzUvr+3EcKdd3oSBTP" User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; fr; rv:1.9.2.12) Gecko/20101027 Thunderbird/3.1.6 In-Reply-To: Cancel-Lock: sha1:uK8XSM/D51T7RZsGHV2Y368saP4= Xref: g2news2.google.com comp.lang.ada:16522 Date: 2010-11-17T17:14:27+01:00 List-Id: Le 17/11/2010 15:20, Dmitry A. Kazakov a �crit : > On Wed, 17 Nov 2010 15:16:34 +0100, Georg Bauhaus wrote: > >> On 17.11.10 14:38, Dmitry A. Kazakov wrote: >> >>> I have no idea what the proposal would do with: >>> >>> ( for all X in 1 | 3..5 | F'Range | P(X) ) >> >> I think it will refer to that extended membership test which >> adds a pair of parens: >> >> ( for all X in (1 | 3..5 | F'Range) | P(X) ) > > Awful. > Actually, It's been decided recently to change "|" to "=>", so it will read: ( for all X in 1 | 3..5 | F'Range => P(X) ) (General note: for everything related to Ada-2012, bear in mind that it is work-in-progress, and that things do change. This AI (AI05-0176) is at version 17!) -- --------------------------------------------------------- J-P. Rosen (rosen@adalog.fr) Adalog a d�m�nag� / Adalog has moved: 2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00