(j3.2006) Finalizing subroutines question

[Aleksandar Donev]

On Friday 23 May 2008 08:13, Jim Xia wrote:
> The finalizer, t_finalize, will be called in this case, but it wouldn't be
> a legal program because of the rules in the argument association: the
> actual argument is an array of 5 elements and the dummy is expecting an
> array at least 100 elements.
We already discussed this on this list, see thread "finalizer infelicity" 
started by Michael on 11-21-2007. Apparently, Jim's answer is what the 
standard says. It may have even be the indended answer.
It sure is a ridiculous idea to even allow codes like that to be written and 
then be so mysteriously "illegal".
The bottom line is, users should not use explicit-shape arrays in their 
finalizers, even if for some unknown reason the standard allows that. 
Assumed-shape or size would be much better. Or even better, elemental 
finalizers so that they apply to all ranks.
Aleks