[J3] US-12 apparently incomplete

[John Reid]

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.

John.

>
> C937 (R927) type-spec shall not specify a type that has a coarray
> ultimate component.
>