(j3.2006) (SC22WG5.5808) [ukfortran] AW: Straw ballot on four small technicalchanges

[N.M. Maclaren]

>The primary mistake is thinking that we are voting on the edits to the 
>draft.  We are not.

You are correct.  I am not in great shape, and had missed that.
I should like to change my vote to:



Yes  No   Paper       Subject
---  -N- 06-277r1 Allow C_SIZEOF for an assumed-rank array
-Y-  --- 06-280r2 Allow cross-image access to violate aliasing rules
                  for coarray dummies
---  --- 06-285r2 Clarify ordering of finalisation w.r.t. deallocation
                  in assignment(*)
-Y-  --- 06-289   Additional prohibitions on pure procedures(*)

06-277r1 Because assumed-size arrays can be converted to assumed-rank
objects, this change permits a usage that has no defined behaviour, and
where there are several possibilities compatible with the rest of the
standard.  C_SIZEOF (18.2.3.7 486:24) forbids assumed-size arrays and,
in lines 29-31 defines the result in terms of the element size and
number of elements (which is unspecified for assumed-size arrays).  Note
that I am not voting against the change in principle, but against the
lack of an explicit specification for this case.


06-285r2 I am abstaining deliberately, because I cannot work out
whether the change clarifies the situation or not.



Regards,
Nick.