1639 2005-07-15 21:54:35 +0000 [FS] please define "=" in judgments, especially for URIs 2007-01-16 17:30:15 +0000 1 1 1 Unclassified XPath / XQuery / XSLT Formal Semantics 1.0 Last Call drafts PC Windows 2000 CLOSED FIXED P2 minor --- 1 fred.zemke simeon public-qt-comments oldest_to_newest 4720 0 fred.zemke 2005-07-15 21:54:35 +0000 3.1.1.1 Resolving QNames to Expanded QNames Under Semantics, you show a formal inference. Above the line, it has "statEnv.namespace(NCName1) = URI-or-#NULL-NAMESPACE". This uses a predicate, "=", which you have not presented or defined. Since this judgment is talking about equality of URIs, you probably mean the same conventions for deciding equality as in other XML-related specifications, which is code-point equality of Unicode strings. I believe I have seen other uses of equality; you should have a section that defines this operator for all types that you use it on. Section 2.1.2 "Notations for judgments" looks like a good spot. 4889 1 simeon 2005-07-19 17:15:58 +0000 I believe this is editorial. - Jerome 9249 2 simeon 2006-04-15 22:01:44 +0000 To clarify, added a paragraph in 2.1.2 to explain the use of '=' in inference rules. - Jerome