5872 2008-07-17 14:40:05 +0000 [XQTS] Predicate reordering in K-FilterExpr-51,52 2008-11-13 15:48:47 +0000 1 1 1 Unclassified XML Query Test Suite XML Query Test Suite unspecified PC All RESOLVED FIXED P2 normal --- 1 oliver frans.englich frans.englich public-qt-comments oldest_to_newest 21214 0 oliver 2008-07-17 14:40:05 +0000 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. 21297 1 frans.englich 2008-07-23 10:35:46 +0000 Added XPTY0004 to K-FilterExpr-51 and K-FilterExpr-52 in CVS. 21525 2 oliver 2008-08-13 17:02:12 +0000 I think the error should be XPDY0050, rather than XPTY0004 (see XQuery 3.1.2.6) 22433 3 frans.englich 2008-11-13 15:48:47 +0000 Fixed in CVS.