(j3.2006) Draft paper for upper cobound issues

[John Reid]

Reinhold,

On reflection, I think what you say is fine. I think it is helpful to 
think of a coarray as having a final cobound.

I withdraw my suggestion for alternative edits.

John.

John Reid wrote:
> Reinhold,
>
> I take a slightly different view here and would like to suggest
> different edits.
>
> An assumed-size array has no final upper bound and the value -1 is
> returned for this by UBOUND.
>
> Similarly, in most of 007, a coarray has no final upper cobound. The
> only place where it does is in UCOBOUND. I suggest changing the wording
> there to say what value is returned without saying that it is the upper
> cobound. I suggest these edits:
>
> [xx] In Introduction, para 2, at the end of bullet "Changes to features
>  previously described by ISO/IEC TS 18508:2015:" add
> "The result of the intrinsic UCOBOUND (DIM,COARRAY) with DIM
> equal to the corank of COARRAY is the final cosubscript in the
> cosubscript list for the coarray that selects the image whose
> index is equal to the number of images in the current team."
>
> [439:10-15] In 16.9.197 UCOBOUND [439:11] replace para 5 by
> "<<Result Value.>>
> <Case(i):>  If DIM is present with value less than the corank of
>             COARRAY, the result has a value equal to the upper
>             cobound for codimension DIM of COARRAY.
> <Case(ii):> If DIM is present with value equal to the corank of
>             COARRAY, the result is the final cosubscript in the
>             cosubscript list for the coarray that selects the image
>             whose index is equal to the number of images in the
>             current team.
> <Case(iii):> If DIM is absent, the result has a value whose ith
>             element is equal to UCOBOUND(i,COARRAY)."
>
> Cheers,
>
> John.
>
>
>
>
> Bader, Reinhold wrote:
>> Dear J3,
>>
>> while reading 17-195, Anton found some issues with upper cobounds as
>> currently defined in N2137. The result of our
>> discussion is the attached draft. Comments, please.
>>
>> Cheers
>> Reinhold
>>
>>
>>
>>
>> _______________________________________________
>> J3 mailing list
>> J3 at mailman.j3-fortran.org
>> http://mailman.j3-fortran.org/mailman/listinfo/j3
>>