Re: generic parameter Copy for primitifs types.

[Marius Amado Alves <amado.alves@netcabo.pt>]

On 24 Jun 2005, at 08:28, Dmitry A. Kazakov wrote:
>> The best solution is to set ":=" by default but it
>> is not possible...
>
> True. You can try generic "specialization" like this:
> ...
> generic
>    type T_Item is private;
> package Specialized_Toto is
>    procedure Copy (Left : out T_Item; Right : T_Item);
>    package Toto_Instance is new Toto (T_Item, Copy);
> end Specialized_Toto;
> ...

True. But then the use is not uniform. A different generic package must 
be selected for each case:

package Default_Pkg is new Specialized_Toto (T);
package Special_Pkg is new Toto (T, Special_Copy);

The idiom I have posted earlier does not have this problem. But, 
granted, may have others instead, e.g. requiring two instantiations 
instead of one for each case.

All this would go away if packages were first class citizens of Ada, 
i.e. objects. This is one thing I'm trying to do with Ocpotus 
(softdevelcoop.org/ocpotus).