This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 3825 - Static typing of tests using fn:index-of
Summary: Static typing of tests using fn:index-of
Status: CLOSED FIXED
Alias: None
Product: XML Query Test Suite
Classification: Unclassified
Component: XML Query Test Suite (show other bugs)
Version: 1.0.1
Hardware: PC Windows XP
: P2 normal
Target Milestone: ---
Assignee: Frans Englich
QA Contact: Mailing list for public feedback on specs from XSL and XML Query WGs
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2006-10-13 13:29 UTC by Nick Jones
Modified: 2007-01-15 10:53 UTC (History)
0 users

See Also:

Attachments

Description Nick Jones 2006-10-13 13:29:15 UTC 
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
Comment 1 Andrew Eisenberg 2006-10-13 18:57:48 UTC 
The RHS of these tests is xs:integer. Replacing eq with = should take care of this.
Comment 2 Frans Englich 2007-01-12 18:52:34 UTC 
An attempted fix has been committed to CVS, and should be part of XQTS_current.zip. Feel free to verify that the fix is acceptable, and if so, change status to CLOSED. If the attempted fix is not acceptable, reopen this report.

If no opinion about this resolution is expressed within two weeks, it will be closed.

Along with the fix for this report, was committed fixes for other reports as well. Also, a significant amount of new tests were added to cover missing areas and changes in the specifications.