- From: <bugzilla@wiggum.w3.org>
- Date: Wed, 20 Jul 2005 23:34:22 +0000
- To: public-qt-comments@w3.org
- Cc:
http://www.w3.org/Bugs/Public/show_bug.cgi?id=1571
simeon@us.ibm.com changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |ASSIGNED
------- Additional Comments From simeon@us.ibm.com 2005-07-20 23:34 -------
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
Received on Wednesday, 20 July 2005 23:34:28 UTC