08-151r1 To: J3 From: Van Snyder/Stan Whitlock Subject: Interpretation request concerning specification expressions Date: 2008 April 15 NUMBER: F03/0115 TITLE: Are circular dependencies between specification expressions permitted? KEYWORDS: specification expression DEFECT TYPE: Erratum STATUS: Withdrawn by submitter QUESTION: Is the following specification part standard conforming? integer :: A(size(B)) integer :: B(size(A)) ANSWER: The specification part is not standard conforming. Edits are proovided to clarify this. EDITS: Before item (7)(b)(i) in Subclause 7.1.6 "Specification Expressions" insert another item "(i-) declared after the specification inquiry," SUBMITTED BY: Van Snyder HISTORY: 08-151 m184 F03/0115 Submitted - withdrawn by submitter F2003 04-007, section 7.1.6 {126:14-19] says: 9 A variable in a specification expression shall have its type and type parameters, if any, specified by a 10 previous declaration in the same scoping unit, by the implicit typing rules in effect for the scoping unit, 11 or by host or use association. If a variable in a specification expression is typed by the implicit typing 12 rules, its appearance in any subsequent type declaration statement shall confirm the implied type and 13 type parameters. No further action will be taken on F03/0115