[Bug 3189] [FS] editorial: 5 Modules and Prologs

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

           Summary: [FS] editorial: 5 Modules and Prologs
           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


5 Modules and Prologs

Notation 3 / rule 3
PrologDeclList =>stat statEnv
    The declaration of =>stat says there has to be an input statEnv
    and a "with URILiteral"

Notation 3 / rule 4
PrologDeclList =>dyn dynEnv
    Similarly with the declaration of =>dyn.

    Also, in both rules, PrologDeclList does not appear in other
    judgments, so the inference process is free to bind it to any
    PrologDeclList in its universe, which is not what you want.

Received on Wednesday, 3 May 2006 19:30:41 UTC