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,826cd690cb6a7585
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news3.google.com!proxad.net!feeder1-2.proxad.net!weretis.net!feeder4.news.weretis.net!news.teledata-fn.de!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Wed, 31 Aug 2011 22:41:01 +0200
From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.6;
 rv:6.0) Gecko/20110812 Thunderbird/6.0
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: The simple Image issue
References: <m2mxerfai2.fsf@pushface.org> <j3iv3s$id4$1@speranza.aioe.org>
 <904e717e-da4c-46c9-bbc2-4bae8368d459@l4g2000vbv.googlegroups.com>
 <4e5d139f$0$6575$9b4e6d93@newsspool3.arcor-online.net>
 <3756bc0c-d938-4b45-baa1-b80e59d58055@a10g2000prn.googlegroups.com>
 <1a879va9fjuwo.1r1b6vbp45lx5.dlg@40tude.net>
 <4e5dd1c1$0$6638$9b4e6d93@newsspool2.arcor-online.net>
 <12nar9pjxb1pg.14709ohrczh9p$.dlg@40tude.net>
 <4e5e54ec$0$7623$9b4e6d93@newsspool1.arcor-online.net>
 <bkiug0fh2l37$.1aep84x253587$.dlg@40tude.net>
 <4e5e6010$0$7611$9b4e6d93@newsspool1.arcor-online.net>
 <kpenm05gn9e2$.2nactdgvf2ag.dlg@40tude.net>
 <4e5e6199$0$7611$9b4e6d93@newsspool1.arcor-online.net>
 <1ctkvx8kzbydt.voo17pqegid1$.dlg@40tude.net>
In-Reply-To: <1ctkvx8kzbydt.voo17pqegid1$.dlg@40tude.net>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <4e5e9c5d$0$7624$9b4e6d93@newsspool1.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 31 Aug 2011 22:41:01 CEST
NNTP-Posting-Host: 06f8d1eb.newsspool1.arcor-online.net
X-Trace: 
 DXC=8m4TeK6[cdE74okIm;?DS@ic==]BZ:afN4Fo<]lROoRA<`=YMgDjhgB8Y9d<0BE=7GPCY\c7>ejVH:Djn3kdmQQL0?ObS64]iUC
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news2.google.com comp.lang.ada:21771
Date: 2011-08-31T22:41:01+02:00
List-Id: <comp.lang.ada>

On 31.08.11 18:50, Dmitry A. Kazakov wrote:
> On Wed, 31 Aug 2011 18:30:17 +0200, Georg Bauhaus wrote:
>
>> On 31.08.11 18:27, Dmitry A. Kazakov wrote:
>>> On Wed, 31 Aug 2011 18:23:44 +0200, Georg Bauhaus wrote:
>>>
>>>> On 31.08.11 17:53, Dmitry A. Kazakov wrote:
>>>>
>>>>>> procedure F is
>>>>>>
>>>>>>     type F1 is digits 4;
>>>>>>     type F2 is digits 7;
>>>>>>
>>>>>>     procedure Take_Float (X : F1) is
>>>>>>     begin
>>>>>>        Put_Line ("I'm an F1");
>>>>>>     end Take_Float;
>>>>>>
>>>>>>     procedure Take_Float (X : F2) is
>>>>>>     begin
>>>>>>        Put_Line ("I'm an F2");
>>>>>>     end Take_Float;
>>>>>>
>>>>>>     S : constant String := "12.3";
>>>>>> begin
>>>>>>     Take_Float (X =>  Value(S));  -- which one?
>>>>>
>>>>> Take_Float (X =>  1.2);  -- which one?
>>>>
>>>> Take_Float (X =>  F1'(1.2));  -- obviously :-)
>>>
>>> Take_Float (X =>  F1'(Value(S)));  -- Ditto!
>>
>> Take_Float (X =>  F1'Value(S)); -- to be less "silly and redundant"? :-)
>
> Exactly!
>
> (I hope you aren't arguing that F1'(1.2) must be used instead of 1.2)

Not in the general case (F1'() being required in the case at hand),
Still SPARK, and in some more cases Ada, do require that we write
T'() anyway: to resolve another ambiguity (of ()).

Anyone to suggest finally using [] for aggregates?