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

[Aleksandar Donev]

On Monday 03 November 2008 12:22, Bill Long wrote:
> Executing func() causes execution of f = i when i is undefined.  Error.
All well, but this is not the right way to deal with this.

Michael said it rightly:
"That's because it somehow seems wrong to me to call
f() when no instance of externFn is live."

Now that I was forced to rummage through Clause 16, I in "16.5.2.5 Events that 
cause the association status of pointers to become undefined":

"The association status of a pointer becomes undefined when
(7) execution of the host instance of a procedure pointer is completed by 
execution of a RETURN or END statement,"

This is now quite we want---there should be one more rule that says:

"(7+) execution of the host instance of the target of a procedure pointer is 
completed by execution of a RETURN or END statement,"

Best,
Aleks

-- 
Aleksandar Donev, Ph.D.
Lawrence Postdoctoral Fellow @ Lawrence Livermore National Laboratory
High Performance Computational Materials Science and Chemistry
E-mail: donev1 at llnl.gov
Phone: (925) 424-6816  Fax: (925) 423-0785
Address: P.O.Box 808, L-367, Livermore, CA 94551-9900
Web: http://cherrypit.princeton.edu/donev