------- Comment #6 from pault at gcc dot gnu dot org 2006-10-03 15:06 ------- (In reply to comment #5)
> The problem lies in the absence of global actual/formal argument checking; > where there is an explicit interface, all works correctly. Actually, it is not as bad as I thought: (i)'p' being a non-sequence type dummy in a non-contained procedure should generate an error because there is no way in which type association can occur between the caller and 'a'. (ii) The same is true of the actual argument in the call to 'a' from 'b'; since 'a' is external, a sequence type is required. Paul -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22571
