(j3.2006) Draft paper for upper cobound issues

[Bader, Reinhold]

OK. I have submitted an only slightly modified version of my draft, which is now 17-206.

Regards
Reinhold

> -----Urspr?ngliche Nachricht-----
> Von: J3 [mailto:j3-bounces at mailman.j3-fortran.org] Im Auftrag von John
> Reid
> Gesendet: Sonntag, 1. Oktober 2017 16:24
> An: fortran standards email list for J3 <j3 at mailman.j3-fortran.org>
> Betreff: Re: (j3.2006) Draft paper for upper cobound issues
> 
> 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
> >>
> _______________________________________________
> J3 mailing list
> J3 at mailman.j3-fortran.org
> http://mailman.j3-fortran.org/mailman/listinfo/j3