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
CC:
To: public-qt-comments@w3.org
Message-Id: <E1JJUbg-0003wu-Fe@wiggum.w3.org>

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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 27 March 2012 18:14:49 GMT