[Bug 3825] Static typing of tests using fn:index-of

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

           Summary: Static typing of tests using fn:index-of
           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


The tests listed below use

fn:index-of($seqParam as xs:anyAtomicType*, $srchParam as xs:anyAtomicType) as
xs:integer*

and test the output using eq. For example:

index-of(4, 4) eq 1 

(K-SeqIndexOfFunc-12)

This does not static type check as the types are

LHS: interger*
RHS: anyAtomicType?

As has happened with similar cases, could the expected result be tested by the
test harness, rather than doing such a test in the query.

K-SeqIndexOfFunc-6
K-SeqIndexOfFunc-12
K-SeqIndexOfFunc-14
K-SeqIndexOfFunc-17

Received on Friday, 13 October 2006 13:29:25 UTC