Re: Generic formal type with 'Image

["Alejandro R. Mosteo" <alejandro@mosteo.com>]

Thanks for the suggestions, and the link to the AI. I find these 
discussions fascinating.

Alex.

On 06/06/2018 15:03, Alejandro R. Mosteo wrote:
> I'm pretty sure the answer is "no", but just in case:
> 
> Is there a formal for a generic that serves for any type that has a 
> predefined 'Image?
> 
> The purpose is to avoid:
> 
> generic
>     type Printable is ... -- What should go here?
>     with function Image (P : Printable) return String is <>;
> package
> 
> and then have to pass the 'Image attribute as the Image function in all 
> instantiations.
> 
> The closest thing I can think of is (<>) but that won't do for floating 
> point types.
> 
> I understand this is an unusually narrow case (I need a generic for many 
> numeric types, both discrete and floating, and this would save me some 
> typing -- that I have already spent here anyway.)
> 
> With these issues I feel a kind of overlap/missed connection between 
> attributes and interfaces.
> 
> Thanks,
> Alex.