Re: Instantiations of a generic with often encountered arguments

[Simon Wright <simon@pushface.org>]

Victor Porton <porton@narod.ru> writes:
> Dmitry A. Kazakov wrote:
>
>> On 2017-11-26 01:04, Victor Porton wrote:
>>> Is it a good practice to declare "centralized" (that is in the same
>>> package as a generic packages is defined in, or in a child unit)
>>> instantiations of a generic package with common (that is often
>>> encountered, such as Integer, String, etc.) generic parameters?
>> 
>> Yes, Ada library does so for standard types.
>
> Where?!

e.g.

   with Ada.Numerics.Generic_Elementary_Functions;

   package Ada.Numerics.Elementary_Functions is
     new Ada.Numerics.Generic_Elementary_Functions (Float);

   pragma Pure (Elementary_Functions);