J3/14-240r1 To: J3 Subject: Interpretation concerning variable definition context From: Van Snyder/Malcolm Cohen Date: 2014 October 13 ---------------------------------------------------------------------- NUMBER: F08/0118 TITLE: Subobject of variable in variable definition context KEYWORD: subobject, variable definition context DEFECT TYPE: Clarification STATUS: J3 consideration in progress QUESTION: Does this program conform to the Fortran 2008 standard? type :: T integer :: C end type T type(t), parameter :: V = T(41) associate ( W => V ) 1 w%c = 42 end associate end DISCUSSION: Because the selector is not permitted to appear in a variable definition context, the associate-name is not permitted to appear in a variable definition context. However, that does not affect subobjects of the associate-name. ANSWER: The associate-name is not permitted to appear in a variable definition context because no interpretation is established; however, it should be explicitly stated that this is not permitted. An edit is provided to clarify this. EDITS: [170:19] 8.1.3.1 Purpose and form of the ASSOCIATE construct, C801, Between "" and "shall not appear" insert "or any subobject of ". [171:12] 8.1.3.3 Attributes of associate names, p2, Between "the associate name" and "shall not appear" insert "or any subobject of the associate name". [184:13] 8.1.9.1 Purpose and form of the SELECT TYPE construct, C836, Between "" and "shall not" insert "of any subobject of ". SUBMITTED BY: Van Snyder HISTORY: m205 14-240r1 Submitted m205 14-240r2 Revised question and answer. ----------------------------------------------------------------------