Re: Imitation is the sincerest form of flattery

[Pascal Obry <p.obry@wanadoo.fr>]

"Frank J. Lhota" <NOSPAM.lhota.adarose@verizon.net> writes:

> AFAIK (and my testing seems to confirm this) if we have the function
> 
>      function Max( X, Y : An_Integer_Type ) return An_Integer_Type;
> 
> defined in the same package as An_Integer_Type, and if we derive a type
> New_Integer from An_Integer_Type, i.e.
> 
>     type New_Integer is new An_Integer_Type;
> 
> then New_Integer inherits Max from An_Integer_Type, i.e. there is an
> implicit function

That's right. An Ada feature often forgotten...

Pascal.

-- 

--|------------------------------------------------------
--| Pascal Obry                           Team-Ada Member
--| 45, rue Gabriel Peri - 78114 Magny Les Hameaux FRANCE
--|------------------------------------------------------
--|         http://perso.wanadoo.fr/pascal.obry
--| "The best way to travel is by means of imagination"
--|
--| gpg --keyserver wwwkeys.pgp.net --recv-key C1082595