(j3.2006) (SC22WG5.4809) Preliminary result of interps ballot 4

[Malcolm Cohen]

I am not convinced that things are not already wrong starting with

>  module M
>    external :: X
>  end module M

Since apparently X has an optional argument, this is not a valid declaration of 
the global entity X.

Either that or X does not have an optional argument, in which case

>    interface
>      subroutine X ( A )
>        real, optional :: A
>      end subroutine X
>    end interface

is not a valid declaration of the global entity X.

So I do not see any problem here that needs correcting.
   lack of textual clarity ... tick
   alternative descriptive model would be more rigorous ... tick
   actual problem found already ... cross
   relevant to actual interp ... cross
   revision of interp needed ... cross

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