Tue Sep 23 18:54:52 EDT 2008
On Tue, 2008-09-23 at 15:46 -0700, Van Snyder wrote:
> On Tue, 2008-09-23 at 14:59 -0700, Aleksandar Donev wrote:
> > Hi Van,
> > > select type ( x )
> > > type is ( my_extension )
> > > print *, x%more_stuff
> > > end select
> > That is a good point that we missed---we do safe type casts with SELECT TYPE
> > but that acts as an ASSOCIATE construct and you are not allowed to use the
> > coindexed selector here. I am not sure if it is worth trying to fix at this
> > point, unless you have a proposed solution that is simple enough?
> I don't have one handy. Here's a SWAG: Apply C803 to R803 instead of
> R805, and rewrite C616a:
> C616a (R611) Except as the <selector> in a SELECT TYPE statement, if
> <image-selector> appears....
> C803 might need some polishing:
> C803 (R803) A <variable> in a <selector> in an ASSOCIATE statement
> shall not be a coindexed object.
If we want to preserve the feature that every inter-image access has ,
we probably don't want to do this -- presumably the same reason that a
coindexed object is prohibited to be a <selector> in an ASSOCIATE
More information about the J3