[J3] Coarrays of type TEAM_TYPE

[Steidel, Jon L]

I think we there is a problem in 16.9.190, the description of THIS_IMAGE.  Page 421, p3, lines 27-29, in describing the COARRAY argument to THIS_IMAGE states

"COARRAY shall be a coarray of any type. ... If it is of type TEAM_TYPE from the intrinsic module ISO_FORTRAN_ENV, the TEAM argument shall appear."

However, C747 on page 70 states (for Components)

"If a coarray-spec appears, the component shall not be of team C_PTR or C_FUNPTR from the intrinsic module ISO_C_BINDING (18.2), or of type TEAM_TYPE from the intrinsic module ISO_FORTRAN_ENV (16.10.2)."

and C824 on page 95 for the CODIMENSION attribute:

"A coarray shall not be of type C_PTR or C_FUNPTR from the intrinsic module ISO_C_BINDING (18.3.2), or of type TEAM_TYPE from the intrinsic module ISO_FORTRAN_ENV (16.10.2.32)."

So, it appears we cannot have a coarray of type TEAM_TYPE, yet we require the TEAM argument to be present when the COARRAY argument to THIS_IMAGE is of type TEAM_TYPE.

Am I missing something?

-jon
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.j3-fortran.org/pipermail/j3/attachments/20190111/6d064b20/attachment-0001.html>