[J3] (SC22WG5.6262) Interp ballot #36 response for "LANL"

[Ondřej Čertík]

The following Fortran interpretations are being balloted:

Yes  No   Number    Title

-Y-  ---  F18/015  Example in C.6.8 is wrong
-Y-  ---  F18/016  Host association changes in Fortran 2018
---  -N-  F18/017  Final subroutine invocation order
-Y-  ---  F18/018  Public namelist and private variable

The explanation for NO on F18/017:

As we see it, the core conflict is between the finalization order prescribed by 7.5.6.2 and what is considered finalizable. The interp as it stands resolves this conflict (and the double finalization) by sacrificing the former to preserve the latter. This interp argues that including allocatables in the ordering in 7.5.6.2 was a design error, or never intended to be understood as such. We think the opposite; ignoring allocatable components in the definition of a finalizable type was the error, and that 7.5.6.2 as it stands does imply the finalization of allocatables and should continue to do so since it is the more useful behavior for users. Thus we suggested edits to do the opposite of the interp: preserve the finalization order by sacrificing the existing definition of finalizable. The effect is not to change the design of the standard, but rather to preserve what we see as the intended design expressed in 7.5.6.2.