(j3.2006) 08-267

[Van Snyder]

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[1] )
> > >   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
statement.