Re: The simple Image issue

[Georg Bauhaus <rm.dash-bauhaus@futureapps.de>]

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?