(j3.2006) 08-267

[Bill Long]

Jim Xia wrote:
>
> j3-bounces at j3-fortran.org wrote on 09/23/2008 06:33:36 PM:
>
> > On Tuesday 23 September 2008 15:31, Michael Ingrassia wrote:
> > > Where do we say this?
> > In a note, since it can be inferred from normative text.
> > > Is it true that a coarray's dynamic type never changes?
> > > If not, can't we get a counterexample by considering coarray X
> > > with its dynamic type both just before and just after the dynamic type
> > > changes?
> > No, because changing the type requires an ALLOCATE statement 
> (polymorphic
> > co-arrays have to be allocatable), which is a synchronization point.
>
>
> Sure you can get coarrays of different dynamic types on different 
> images using the syntax like the following
>

Except for the fact that the standard explicitly says "If an 
<allocation> specifies a coarray, its dynamic type and the values of 
corresponding type parameters shall be the same on each image."  
6.6.1.2, para 3, page 125.

Cheers,
Bill


>
> ALLOCATE (coarray[*], source=expr(image_number()))
>
> where expr() is a function that return polymorphic allocatables whose 
> dynamic types dependent on image index number.  I don't see anything 
> in the standard preventing this.  But since we disabled the usage of 
> polymorphic coindexed objects, I don't see any problems of this.  Did 
> I miss something here?
>
> Cheers,
>
> Jim Xia
>
> RL Fortran Compiler Test
> IBM Toronto Lab at 8200 Warden Ave, Markham, On, L6G 1C7
> Phone (905) 413-3444 Tie-line 313-3444
> email: jimxia at ca.ibm.com
> D2/YF7/8200 /MKM
>
> ------------------------------------------------------------------------
>
> _______________________________________________
> J3 mailing list
> J3 at j3-fortran.org
> http://j3-fortran.org/mailman/listinfo/j3
>   

-- 
Bill Long                                   longb at cray.com
Fortran Technical Support    &              voice: 651-605-9024
Bioinformatics Software Development         fax:   651-605-9142
Cray Inc., 1340 Mendota Heights Rd., Mendota Heights, MN, 55120