Re: Subprogram Pointer in a Generic

[Robert A Duff <bobduff@shell01.TheWorld.com>]

tmoran@acm.org writes:

> >(1) The absence of such a rule would prevent an implementation from
> >    implementing efficiently shared generic packages:
> Would it be possible to do code sharing at all?
>   type Young is range 1 .. 20;
>   type Old is range 21 .. 120;
>   package a is new generic_package(Young);
>   package b is new generic_package(Old);
> and inside generic_package you make a call on
> Register(Local_Procedure'access);
>   What is registered - the instantiation of Local_Procedure that deals
> with Young or the one that deals with Old?  Extra information needs to
> be passed along, but Register expects just a simple pointer.

It is certainly possible, but Randy Brukardt will tell you it's not
easy, and probably not possible to do efficiently.

- Bob