Re: overloading operators

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

On 2018-11-26 19:03, Simon Wright wrote:
> Anh Vo <anhvofrcaus@gmail.com> writes:
> 
>> On Thursday, November 22, 2018 at 12:18:06 AM UTC-8, briot.e...@gmail.com wrote:
>>>> You can always say e.g. Ada.Numerics.Real_Arrays."*" (A, B) but it is
>>>> rather clumsy compared to A * B!
>>>
>>>
>>> The main use I have for that notation is in expression functions in specs,
>>> since we try to avoid use clauses in specs. So for instance:
>>>
>>>      function Greater (A, B : Some_Package.My_Type)  return Some_Package.My_Type
>>>          is (Some_Package.">" (A, B));
>>
>> What is wrong with "use type clause"?
> 
> Nothing, but OP was asking about what qualifications are available

Then I think one forgot qualification of the arguments:

   ...
   is (Some_Package.">" (Some_Package.Greater.A, Some_Package.Greater.B));

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