(j3.2006) a question on allowing internal procedures as procedure targets

[Malcolm Cohen]

A procedure pointer becomes undefined when its host instance terminates, 
so this program is not valid.

Aleksandar Donev wrote:
> This is now quite we want---there should be one more rule that says:
>   
No, look up what the host instance of a procedure pointer is.  The 
current rule is correct, your suggested addition is incorrect.  Normal 
procedures don't have "host instances", only procedure pointers do.  And 
it means what you are trying to get at with your "host instance of the 
target".

Cheers,
-- 
......................Malcolm Cohen.