J3/04-320 Date: 13 May 2004 To: J3 From: Richard Maine Subject: Generic type-bound procedures NUMBER: TITLE: Generic type-bound procedures KEYWORDS: generic, type-bound DEFECT TYPE: Erratum STATUS: J3 consideration in progress QUESTION: Section 12.4.5 discusses how a in a (R1219) is resolved if the is that of a generic type-bound procedure. This seems to imply that it is intended to be possible to invoke a generic type-bound procedure (which one might have guessed anyway :-)). However, according to the bnf in 4.5.4, only a specific binding has a . The in is a list of specific binding names. Thus the discussion of generic s in 12.4.5 is moot, there being no such things. Consequently, R1219 appears to provide no syntax for invoking generic type-bound procedures. Should R1219 and 12.4.5 be modified to allow a reference of the form " % " where is the name of a generic binding of the declared type of ? ANSWER: Yes. Edits are provided to fix this oversight. EDITS: TBD. SUBMITTED BY: Richard Maine HISTORY: J3/04-320 m169 Submitted