[Bug 5872] New: [XQTS] Predicate reordering in K-FilterExpr-51,52

From: <bugzilla@wiggum.w3.org> Date: Thu, 17 Jul 2008 14:40:06 +0000 To: public-qt-comments@w3.org Message-ID: <bug-5872-523@http.www.w3.org/Bugs/Public/> · This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:24 UTC

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

           Summary: [XQTS] Predicate reordering in K-FilterExpr-51,52
           Product: XML Query Test Suite
           Version: unspecified
          Platform: PC
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XML Query Test Suite
        AssignedTo: andrew.eisenberg@us.ibm.com
        ReportedBy: oliver@cbcl.co.uk
         QAContact: public-qt-comments@w3.org

The essence of K-FilterExpr-51 is:
((0, 1, 2, "a", "b", "c")[. instance of xs:string][. treat as xs:string eq "c"]
treat as xs:string) eq "c"

which expects the answer "true".

However, XQuery 2.3.4 quite explicitly states (giving a very similar example),
that the predicates could be reordered and that it is acceptable for an
implementation to raise a type error.

K-FilterExpr-52 is similar.

-- 
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.