This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
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.
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
I agree.
The working group as accepted your proposed resolution as amended. - Jerome On behalf of the XML Query and XSL WGs
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