[J3] Coarrays of type TEAM_TYPE

[John Reid]

Steidel, Jon L via J3 wrote:
> 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.

This means that the clause "If it is of type TEAM_TYPE from the 
intrinsic module ISO_FORTRAN_ENV" can never be true and the sentence has 
no effect. It should be removed but it is only an editorial change. It 
is a relic from a time when we did allow coarrays of type TEAM_TYPE.

Cheers,

John


> 
> Am I missing something?
> 
> -jon
>