[M3devel] proedure closures?

[Henning Thielemann]

On Fri, 28 Mar 2008, Olaf Wagner wrote:

> Quoting Dragiša Durić <dragisha at m3w.org>:
>
>> I would like to construct a call to arbitrary procedure/method whose
>> argument list and address I know. Is there a lowlevel way to do this, or
>> its only possible throught stubgen like and/or enumerating all possible
>> procedure types and loopholing to them through some kind of CASE?
>
> TYPECASE on the procedure type followed by NARROW comes to mind;
> I have never tried that with procedures though.

I suspect this won't work because the 'arrow rule' which defines the 
subtype relation of procedures was discussed in length in "Systems 
programming with Modula-3" but was finally dropped due to implementation 
issues.