Re: no, it can't be, there's no "with procedure instance_of_generic_procedure is new generic_procedure;" ? Impossible !

["J-P. Rosen" <rosen@adalog.fr>]

Le 08/04/2018 à 02:32, Mehdi Saada a écrit :
> I just realized one can't do that:
> 
> generic
> with procedure instance_of_generic_procedure is new generic_procedure;
> ...
Of course - because it would be useless. The only thing you know from
the specification of a generic subprogram is its profile, and you can
import any procedure with an appropriate profile. While restrict to
those that are in addition an instantiation of a given generic?

You have been mistaken by the case of packages. While it is easy to
define the matching of subprograms, the matching of packages would be
almost impossible to define - unless the package in an instantiation of
a generic, in which case it obviously matches the generic.

When Ada95 was designed, there was a demand for passing packages the
same way as subprograms (already present in Ada83). It appeared that
this was possible only for packages that were built from the same
generic. There is no such problem with subprograms.

-- 
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
http://www.adalog.fr