3874 2006-10-28 06:36:44 +0000 [FS] editorial: 3.1.1 Static Context 2010-03-16 21:56:52 +0000 1 1 1 Unclassified XPath / XQuery / XSLT Formal Semantics 1.0 Candidate Recommendation All All REOPENED P2 minor --- 1 jmdyck jmdyck public-qt-comments oldest_to_newest 12639 0 jmdyck 2006-10-28 06:36:44 +0000 3.1.1 Static Context Notation / prodn 2 [95 (Formal)] TypeList ::= Type ("," Type)* (Assuming the changes of Bug 3142.) Given that comma is already a type operator, using it to separate the Types in a TypeList is ambiguous. For example, Type1,Type2 could be a TypeList containing two Types, or it could be a TypeList containing a single Type (that is the sequence of Type1 and Type2). One way to resolve this would be to use semicolons to separate the Types in a TypeList. NamespaceKind This appears in inference rules as an italicized word, but it isn't defined by a production. Might as well... [nn (Formal)] NamespaceKind ::= "passive" | "active" 3.1.1 / Notation (definition of fs:active_ns() and fs:get_static_ns_from_items()) Since these two functions are used in one only place (4.7.3.1 / DEv), it might be better to define them there. 14219 1 jim.melton 2007-02-26 00:18:47 +0000 The fix for this bug does not appear in the Recommendation of 23 January 2007. It will be considered for a future publication (either an Errata document or some possible future version of the specification). 33632 2 jmdyck 2010-03-16 21:56:52 +0000 This issue was marked resolved-fixed in what appears to be a random act of vandalism (see http://lists.w3.org/Archives/Public/public-html/2010Mar/0375.html), so I have reopened it.