W3C home > Mailing lists > Public > public-qt-comments@w3.org > November 2006

[Bug 3971] More XQTS static type errors

From: <bugzilla@wiggum.w3.org>
Date: Tue, 14 Nov 2006 20:16:13 +0000
CC:
To: public-qt-comments@w3.org
Message-Id: <E1Gk4hZ-0006xx-98@wiggum.w3.org>

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

           Summary: More XQTS static type errors
           Product: XML Query Test Suite
           Version: 1.0.1
          Platform: PC
        OS/Version: Windows NT
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XML Query Test Suite
        AssignedTo: andrew.eisenberg@us.ibm.com
        ReportedBy: bpatton_temp8345@cogneticsystems.com
         QAContact: public-qt-comments@w3.org


The attached file contains 64 possible static type errors in XQTS 1.0.1 that
were automatically generated while running XQuantum 1.02 against the test suite
with static type checking turned on.

I have not investigated the errors in detail.  They offer a good starting
point for someone who wishes to investigate them further.  The test suite
should be updated to include any actual errors so that implementations
with static typing can pass the tests.

It would be helpful if XQTS "expected results" were structured to allow
testing with and without static typing.  Perhaps both an answer and an error
should be allowed.

I have listed fixes for the last few uses cases at the end of the
attached file.

Bill Patton
(678) 533-4405
Received on Tuesday, 14 November 2006 20:16:33 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:16 UTC