[Bug 3697] K-FilterExpr-66

• From: <bugzilla@wiggum.w3.org>
• Date: Mon, 11 Sep 2006 13:56:56 +0000
• To: public-qt-comments@w3.org
• CC:
• Message-Id: <E1GMmHQ-0006d2-Al@wiggum.w3.org>

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

           Summary: K-FilterExpr-66
           Product: XML Query Test Suite
           Version: 1.0
          Platform: PC
        OS/Version: Windows XP
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XML Query Test Suite
        AssignedTo: andrew.eisenberg@us.ibm.com
        ReportedBy: tim@cbcl.co.uk
         QAContact: public-qt-comments@w3.org


The query:

0 eq (0, 1, 2)[1 eq position()]

fails static type checking because, without simplification, the right hand side
has type integer*.

Received on Monday, 11 September 2006 13:57:16 UTC