Re: Negative float problem

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On Tue, 01 Nov 2005 16:19:16 +0100, Maciej Sobczak wrote:

> 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.

package A is
   type Foo is ...;
end A;
-------------------
package A.B is
   X : Foo;
   function "+" (Left, Right : Foo)  return Foo;
end A.B;
------------------
with A.B;
...
A.B.X + A.B.X  -- Why this does not work?

And now consider this:

package A is
   type Foo is ...;
   function "+" (Left, Right : Foo)  return Foo;
end A;
-------------------
package A.B is
   X : Foo;
   function "+" (Left, Right : Foo)  return Foo;
end A.B;
------------------
with A.B;
...
A.B.X + A.B.X  -- BOOOOM!

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de