[Bug 2967] [FS] fs:apply-ordering-mode(): ordered --> unordered

• From: <bugzilla@wiggum.w3.org>
• Date: Thu, 02 Mar 2006 17:06:40 +0000
• To: public-qt-comments@w3.org
• Cc:
• Message-Id: <E1FErGC-0000Yo-PB@wiggum.w3.org>

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

           Summary: [FS] fs:apply-ordering-mode(): ordered --> unordered
           Product: XPath / XQuery / XSLT
           Version: Candidate Recommendation
          Platform: Macintosh
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Formal Semantics
        AssignedTo: simeon@us.ibm.com
        ReportedBy: grust@in.tum.de
         QAContact: public-qt-comments@w3.org


In Section 7.1.10 (dynamic evaluation of fs:apply-ordering-mode()), the
inference rule for the 'unordered' case contains the premise 

        statEnv.orderingMode = ordered 

while it should contain the premise 

        statEnv.orderingMode = unordered .

Best wishes,
   --Torsten

Received on Thursday, 2 March 2006 17:06:52 UTC