This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
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.
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).
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.