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 5872 - [XQTS] Predicate reordering in K-FilterExpr-51,52
Summary: [XQTS] Predicate reordering in K-FilterExpr-51,52
Status: RESOLVED FIXED
Alias: None
Product: XML Query Test Suite
Classification: Unclassified
Component: XML Query Test Suite (show other bugs)
Version: unspecified
Hardware: PC All
: 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: 2008-07-17 14:40 UTC by Oliver Hallam
Modified: 2008-11-13 15:48 UTC (History)
1 user (show)

See Also:

Attachments

Description Oliver Hallam 2008-07-17 14:40:05 UTC 
The essence of K-FilterExpr-51 is:
((0, 1, 2, "a", "b", "c")[. instance of xs:string][. treat as xs:string eq "c"] treat as xs:string) eq "c"

which expects the answer "true".

However, XQuery 2.3.4 quite explicitly states (giving a very similar example), that the predicates could be reordered and that it is acceptable for an implementation to raise a type error.

K-FilterExpr-52 is similar.
Comment 1 Frans Englich 2008-07-23 10:35:46 UTC 
Added XPTY0004 to K-FilterExpr-51 and K-FilterExpr-52 in CVS.
Comment 2 Oliver Hallam 2008-08-13 17:02:12 UTC 
I think the error should be XPDY0050, rather than XPTY0004 (see XQuery 3.1.2.6)
Comment 3 Frans Englich 2008-11-13 15:48:47 UTC 
Fixed in CVS.