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 3688 - Static typing of fn:index-of
Summary: Static typing of 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
Hardware: PC Windows XP
: P2 normal
Target Milestone: ---
Assignee: Ravindranath (Ravi) Chennoju
QA Contact: Mailing list for public feedback on specs from XSL and XML Query WGs
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2006-09-08 16:29 UTC by Tim Mills
Modified: 2010-03-16 15:51 UTC (History)
0 users

See Also:

Attachments

Description Tim Mills 2006-09-08 16:29:37 UTC 
fn-indexof-mix-args-007 to fn-indexof-mix-args-015 and fn-indexo-mix-arg-019 fail static type checking.

e.g. fn:index-of((),xs:untypedAtomic('')) 

The untypedAtomic constructor returns xs:untypedAtomic?, but the function expects xs:untypedAtomic.
Comment 1 Carmelo Montanez 2006-09-15 13:12:01 UTC 
Ravi:

I think, this look like Oracle tests.

Thanks,
Carmelo
Comment 2 Ravindranath (Ravi) Chennoju 2006-09-25 23:32:26 UTC 
>>fn-indexof-mix-args-007 to fn-indexof-mix-args-015 and fn-indexo-mix-arg-019
Fixed the tests using fn:exactly-one function and CAST AS.

For example:
fn:index-of((),xs:untypedAtomic(''))  is changed to 
fn:index-of((),fn:exactly-one(xs:untypedAtomic('')) )