(j3.2006) (SC22WG5.4632) [ukfortran] Comment on N1904 cont'd

[N.M. Maclaren]

On Mar 13 2012, Malcolm Cohen wrote:
>
>>It appears to me to be a good idea to enforce interoperable
>>type and type parameters for non-assumed-type dummy entities.
>
>Absolutely.

The more I think about it, the more I agree.  I think, however, that
this is a reason NOT to constrain assumed-type more than strictly
necessary.

> I feel reasonably confident that we can fix C1255 reliably and without 
> doing damage to the rest of the standard. I am also reasonably confident 
> that changing tack and "fixing" 15.3.5/6 will reliably be broken and 
> cause further damage elsewhere in the standard.

I have been trying to get my head around this, and I am also concerned
about the combination of interoperability, polymorphism and allocatability/
pointer association.  I agree that taking the hard line is best.

Regards,
Nick Maclaren.