Re: generic parameter Copy for primitifs types.

[Matthew Heaney <matthewjheaney@earthlink.net>]

Marius Amado Alves <amado.alves@netcabo.pt> writes:

> generic
>     type T is private;
> package Level_1 is
>     type Copy_Ptr is access procedure (From : in T; To : out T);
>     procedure Default_Copy (From : in T; To : out T);
>     generic
>        Copy : Copy_Ptr := Default_Copy'Access;
>     package Level_2 is
>        ...
>     end;
> end;

The access type is unnecessary.  The feature you want here has been
available since Ada83:

generic
   type T is private;
package P is
   procedure Default_Copy (From : in T; To : out T);

   generic
      with procedure Copy (From : in T; To : out T) is Default_Copy;
   package Q is ...;
end P;