(j3.2006) Is 7.2.1.2p1(1) necessary?

[Malcolm Cohen]

>7.2.1.2p1(1) says "if the variable is polymorphic it shall be
>allocatable and not a coarray."

Yes, this is necessary.

>Would it be enough
>to require that if it is not allocatable, variable and expr shall have
>the same dynamic type?

Not compile-time checkable.

>So checking the
>dynamic types, and raising an error condition if they're different,
>isn't any more difficult that what's required now.

The whole point is to avoid raising error conditions since that crashes the 
program!

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