[Bug 3826] Static typing of K-SeqOneOrMoreFunc-3

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

           Summary: Static typing of K-SeqOneOrMoreFunc-3
           Product: XML Query Test Suite
           Version: 1.0.1
          Platform: PC
        OS/Version: Windows XP
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XML Query Test Suite
        AssignedTo: andrew.eisenberg@us.ibm.com
        ReportedBy: nick@cbcl.co.uk
         QAContact: public-qt-comments@w3.org


This test:

one-or-more("one") eq "one"

does not static type check as the types are

LHS: string+
RHS: anyAtomicType?

As has happened with similar cases, could "one" be set as the expected result
for the test harness to check, rather than doing such a test in the query.


(As a side note, is it preferable to submit lots of reports describing why each
group of tests doesn't check. Or would a big list of tests which don't type
check be prefered?)

Received on Friday, 13 October 2006 13:41:37 UTC