(j3.2006) Are 7.2.1.2p1(1) and 7.2.1.2p1(8) correct?

[Malcolm Cohen]

...
>Yeah, I read p2 and noticed it didn't cover the ground of p1(1), p1(3),
>and p1(8).

I think you need to read it again then, since it does cover the ground of p1(1) 
and p1(8), as my previous reply asserted.

>  I still wonder why p1(1) and p1(8) don't mention allocatable
>coindexed variables.

Because they are covered by p2.

>  If they appeared and got reallocated, wouldn't
>that make an intrinsic assinment an image-control statement?

It is prohibited by p2.

p1(1) reallocation due to differing types in polymorphic is impossible because 
p2 forbids a polymorphic coindexed variable from being assigned to, just as 
p1(1) forbids it for coarrays.

p1(8) reallocation due to differing type parameter values is impossible in a 
conforming program because p2 requires the type parameter values to be the same 
when the variable is a coindexed object.

>I don't think we want to say that assigning to an allocatable coindexed
>variable is prohibited, just that assignment cannot be done if it would
>result in reallocation.

And that is precisely the effect, as far as I can tell, of the current 
requirements.

Cheers,
-- 
................................Malcolm Cohen, Nihon NAG, Tokyo.