To: J3 J3/17-235 From: Steve Lionel Subject: GB58 Dummy arguments of interoperable procedures Date: 2017 October 17 Reference: N2137, N2141 Introduction ------------ Constraint C1555 [330:33-34, 15.6.2.1p6, Procedures defined by subprograms] says: "A variable that is a dummy argument of a procedure that has a proc-language-binding-spec shall be assumed-type or of interoperable type." This does not account for the possibility that not all kinds of a type are interoperable for a given processor. Edit to 17-007r2 (N2137) ------------------------ [330:34, 15.6.2.1p6 (Procedures defined by subprograms, General)] After "of interoperable type" insert "and kind type parameters"