[Bug 3874] [FS] editorial: 3.1.1 Static Context

http://www.w3.org/Bugs/Public/show_bug.cgi?id=3874

           Summary: [FS] editorial: 3.1.1 Static Context
           Product: XPath / XQuery / XSLT
           Version: Candidate Recommendation
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: minor
          Priority: P2
         Component: Formal Semantics
        AssignedTo: simeon@us.ibm.com
        ReportedBy: jmdyck@ibiblio.org
         QAContact: public-qt-comments@w3.org


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.

Received on Saturday, 28 October 2006 06:36:53 UTC