[J3] US-12 apparently incomplete

[Steven G. Kargl]

On Sun, Aug 22, 2021 at 08:54:25PM +0100, John Reid via J3 wrote:
> Steven G. Kargl wrote:
> > On Sun, Aug 22, 2021 at 12:06:38PM +0100, John Reid via J3 wrote:
> > > Dear all,
> > > 
> > > Sorry to be slow to reply to this.
> > > 
> > > I have come to the conclusion that a problem occurs if an <allocate-object>
> > > is unlimited polymorphic and is given a dynamic type with a coarray ultimate
> > > component by <type-spec> or <source-expr>. This could mean that whether the
> > > ALLOCATE statement is an image control statement is dynamic. The same goes
> > > for the DEALLOCATE statement for the object. We need to disallow this. We
> > > could effect this by keeping
> > > 
> > > C953 (R932) The declared type of <source-expr> shall not have a coarray
> > > ultimate component.
> > > 
> > > and adding a similar constraint on <type-spec>,
> > I have 18-007r1.  Doesn't this constraint already exist?
> > Did the current working draft delete C937?
> Yes. This constraint is not present in 21-007r1.
> 

Thanks John.  I've found 21-00r1 on the J3 server.

-- 
Steve