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

[Aleksandar Donev]

On Monday 03 November 2008 11:24, Jim Xia wrote:
> Is the following declaration legal?
I cannot recall us adding specific text to disallow it, but surely it should 
be. My guess is that the rules for "variables that become undefined" in 
Clause 16 should say that a procedure pointer becomes undefined if it points 
to an internal procedure and the enclosing scope is no longer active, or 
something like that. This is similar to what happens for ordinary pointers. 
If it doesn't already say that it should be fixed.
Best,
Aleks