1571 2005-07-13 18:06:00 +0000 [FS] technical: 4.1.2 Variable References 2005-09-06 12:58:41 +0000 1 1 1 Unclassified XPath / XQuery / XSLT Formal Semantics 1.0 Last Call drafts All All CLOSED FIXED P2 normal --- 1 jmdyck simeon public-qt-comments oldest_to_newest 4542 0 jmdyck 2005-07-13 18:06:00 +0000 4.1.2 Variable References DEv / rule 2 "an imported variable is evaluated in the dynamic context of the module in which it is declared" I don't think this will work. VarName's namespace prefix could be bound to a different namespace (or not bound at all) in the imported module. 5051 1 simeon 2005-07-20 23:34:22 +0000 You are right, I believe the right way to write the inference rule is to access the variable value directly from the module environment. So instead of writing: statEnv |- VarName of var expands to expanded-QName dynEnv.varValue(expanded-QName) = #IMPORTED(URI) URI =>module_dynEnv dynEnv1 dynEnv1 |- $ VarName => Value ---------------------------------------------------- dynEnv |- $ VarName => Value we should write: statEnv |- VarName of var expands to expanded-QName dynEnv.varValue(expanded-QName) = #IMPORTED(URI) URI =>module_dynEnv dynEnv1 dynEnv1.varValue(expanded-QName) = Value ---------------------------------------------------- dynEnv |- $ VarName => Value - Jerome and Michael 5066 2 jmdyck 2005-07-21 01:00:50 +0000 I agree. 5139 3 simeon 2005-07-22 15:58:17 +0000 The working group as accepted your proposed resolution as amended. - Jerome On behalf of the XML Query and XSL WGs 5140 4 simeon 2005-07-22 16:01:03 +0000 The WGs have approved your comment and the following correction. replace: statEnv |- VarName of var expands to expanded-QName dynEnv.varValue(expanded-QName) = #IMPORTED(URI) URI =>module_dynEnv dynEnv1 dynEnv1 |- $ VarName => Value ---------------------------------------------------- dynEnv |- $ VarName => Value by: statEnv |- VarName of var expands to expanded-QName dynEnv.varValue(expanded-QName) = #IMPORTED(URI) URI =>module_dynEnv dynEnv1 dynEnv1.varValue(expanded-QName) = Value ---------------------------------------------------- dynEnv |- $ VarName => Value - Jerome On behalf of the XQuery and XSL WGs