Re: Re-exporting primitive operations of a private type (like "-", and 'min)

["Jeffrey R. Carter" <spam@spam.com>]

Anonymous Coward wrote:

>       function Subtract (Left, Right : in Private_Distance_Type)
>         return Private_Distance_Type is
> 
>       begin
> 
>          --Kazakov's suggested approach.  This is good because it's
>          --simple, and doesn't require type conversions.  
>          --(May not work with gnat 3.15p)
> 
>          return (Left - Right);
> 
>       end Subtract;

This isn't going to work. Subtract has to be defined for the private type's 
parent (as a renaming of "-"), so the private type also has Subtract defined. 
Then you can define "-" for the private type as a renaming of Subtract.

Here, "-" refers to the explicitly defined operation, which is a renaming of 
Subtract, so this is infinite recursion.

-- 
Jeff Carter
"There's no messiah here. There's a mess all right, but no messiah."
Monty Python's Life of Brian
84