W3C home > Mailing lists > Public > public-qt-comments@w3.org > January 2008

[Bug 5434] [XQTS] Expected results of some K-SeqExprInstanceOf tests

From: <bugzilla@wiggum.w3.org>
Date: Mon, 28 Jan 2008 14:05:04 +0000
To: public-qt-comments@w3.org
Message-Id: <E1JJUbg-0003wu-Fe@wiggum.w3.org>


           Summary: [XQTS] Expected results of some K-SeqExprInstanceOf
           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

K-SeqExprInstanceOf-59 is as follows:

(error(), 1) instance of empty-sequence()

It can be statically inferred that the type of the argument is (none,
xs:integer) and so this query could be optimized down to:


However the test expects an FOER0000 error to be raised.

K-SeqExprInstanceOf-62 and K-SeqExprInstanceOf-63 also both expect an error to
be raised when the result of the instance of expressions can be deduced
Received on Monday, 28 January 2008 14:05:21 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:45:35 UTC