Re: Quantified Expressions: "some"

["J-P. Rosen" <rosen@adalog.fr>]

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