Re: Negative float problem

[Maciej Sobczak <no.spam@no.spam.com>]

Dmitry A. Kazakov wrote:

>>>Some legal code might become illegal, because some invisible before
>>>operations would contribute to overloading.
>>
>>Could you please give an example of such code?
> 
> package A is
>    X : Integer;
> end A;
> 
> package B is
>    X : Integer;
>    function "+" (Left, Right : Integer)  return Integer;
> end B;
> 
> with A, B;
> ...
> A.X + B.X  -- Unambiguous now

This example do not consider ADL, because ADL is guided by types, not by 
objects - here, Integer is defined in package Standard and therefore 
only this package would additionally contribute to the lookup. The same 
for the other example from your post.

Note that indeed (see my reply to Robert A Duff) adding ADL would either 
break some existing code or introduce Beaujolais effects. ADL has to be 
there as the integrated part of the package (or namespace) concept and 
cannot be added as an afterthought.

Interesting discussion, though. :)

-- 
Maciej Sobczak : http://www.msobczak.com/
Programming    : http://www.msobczak.com/prog/