Re: Generic formal type with 'Image

["Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>]

On 06/06/2018 03:03 PM, Alejandro R. Mosteo wrote:
> I'm pretty sure the answer is "no", but just in case:

You're right; as things are now, you can't do it. You have to do

generic -- Name
     type Printable is private;
     with function Image (P : Printable) return String is <>;
package Name is
    procedure Proc (P : in Printable);
    function Func (P : Printable) return Boolean;
end Name;

You can then, if you like, do things like

generic -- Name_Discrete
    type Discrete is (<>);
package Name_Discrete is
    procedure Proc (P : in Discrete);
    function Func (P : Discrete) return Boolean;
end Name_Discrete;

with Name;
package body Name_Discrete is
    package Internal is new Name
       (Printable => Discrete, Image => Discrete'Image);

    procedure Proc (P : in Discrete) renames Internal.Proc;
    function Func (P : Discrete) return Boolean renames Internal.Func;
end Name_Discrete;

-- 
Jeff Carter
"You me on the head hitted."
Never Give a Sucker an Even Break
108