(j3.2006) contraining procedure-designator

[Michael Ingrassia]

Thanks, Malcolm.
Let me be sure I've gotten the argument straight ...

	Given the subprogram
		SUBROUTINE SUBR(P)
		EXTERNAL P
		CALL P
		END	

	C1222 (R1218) in Fortran 2003 constrains the dummy argument P
		to be a subroutine
	There are no diagnostic obligations FOR THIS PARTICULAR SUBPROGRAM under
		clause 1.5(3) pertaining to C1222
	Passing a function to SUBR does not run afoul OF THIS CONSTRAINT
		because making the actual argument a function does not
		stop the dummy argument from being a subroutine, although it
		does mean that we run out of ways to use the standard to
		interpret the forms and relationships
 
I suppose it's left as an exercise to the reader to figure out what we
would have said if we had ever actually wanted to constrain away argument
mismatches.

 	--Michael I.