(j3.2006) contraining procedure-designator
Michael Ingrassia
michaeli
Wed Jul 25 21:13:22 EDT 2007
I've missed the meeting deadline for this potential interp,
but it still seems worth pointing out.
Bob Cprbett showed me a case of a constraint that cannot
always be checked at compile-time. Given the subroutine
SUBROUTINE SUBR(P)
EXTERNAL P
CALL P
END
the call-stmt
CALL procedure-designator
is constrained by C1222 (R1218):
"The procedure-designator shall designate a subroutine."
(It's C1227 (R1220) in 07-007r2).
But either this is meaningless (dummy function P can't be distinguished
from dummy subroutine P) or this constraint needs to be implemented at
run-time, which might entail breaking binary compatibility with Fortran 95.
Was that the intention?
PROPOSED ANSWER:
It was not the intention that this requirement be a formal constraint, but
merely ordinary normative text. Cross out the label
"C1222 (R1218)" so that the restriction is not a constraint.
--Michael I.
More information about the J3
mailing list