[J3] Clarification on F18/017

[Steve Lionel]

On 6/8/2020 6:40 PM, Ondřej Čertík via J3 wrote:
>> To wit: what is wrong with the way F18/017 allows for different ordering
>> of finalization and why is it wrong?
> Neil just answered it here:
>
> https://mailman.j3-fortran.org/pipermail/j3/2020-June/012131.html
I see no technical argument there.
>> Provide an example program that
>> breaks if the ordering CBPA is used so that we can better understand
>> your arguments.
> That has been provided here:
>
> https://github.com/j3-fortran/fortran_proposals/issues/146#issuecomment-589857885
>
> That particular program I think is not open source, so we cannot share it. Let me know if that description of the problem is not clear, and we can provide a minimal example.

A minimal example would be very helpful, to me at least. If that program 
needs to enforce a particular order, it should do its own deallocation 
of components rather than waiting for the later automatic deallocation. 
I view this as akin to list-directed I/O - when you leave details up to 
the implementation, you should not be surprised when it does things 
differently than you would have.

Even more helpful would be a suggestion of how the finalization rules 
should be changed to achieve the effect you desire. Please also note my 
earlier comments about interps needing to make the minimum possible 
change to address the problem.

Steve


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.j3-fortran.org/pipermail/j3/attachments/20200608/4cf5f721/attachment-0001.htm>