Re: overloading operators

[Simon Wright <simon@pushface.org>]

briot.emmanuel@gmail.com writes:

>> 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));

Good point (though return Boolean would be better :-)

Personally I try to avoid use clauses in body context clauses, too.