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

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

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

false()

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
statically.

Received on Monday, 28 January 2008 14:05:21 UTC