Re: Gnat bug or mistaken program?

["J-P. Rosen" <rosen@adalog.fr>]

Le 27/07/2021 à 18:00, Niklas Holsti a écrit :
>> * Rename the operation:
>>    function "**" (Left : Float; Right : Float) return Float renames
>>       Ada.Numerics.Elementary_Functions."**";
>>    This makes the specific operation visible
> 
> 
> Before Ada got "use type", such renaming declarations were the only 
> alternative to "use package", but they are verbose and proved (in my 
> experience, and that of others too) to be very error-prone, mainly when 
> renaming many operators -- copy-paste errors were rampant and hard to 
> find by reading. Interesting effects occur when "-" is renamed as "+" or 
> vice versa. I consider this solution to be the last (worst) choice.

With AdaControl, you can check that operators that are renamed as a 
different operator:
    check renaming_declarations
       (not identical operator as_operator function);

(This syntax is from the soon-to-be-released new version of AdaControl - 
wavefront available from GitHub: github.adalog.fr)

-- 
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52
https://www.adalog.fr