4277 2007-01-26 10:52:11 +0000 CastAs672 2009-06-01 22:37:11 +0000 1 1 1 Unclassified XML Query Test Suite XML Query Test Suite 1.0.2 PC Windows XP CLOSED FIXED P2 normal --- 1 mike carmelo public-qt-comments oldest_to_newest 13807 0 mike 2007-01-26 10:52:11 +0000 The query CastAs672 reads: let $var := ("a","b","c") cast as xs:ENTITY return $var instance of xs:ENTITY and the expected result is a dynamic error. However, I believe that the rules on "errors and optimization" allow the value true to be returned. Static type inference can deduce that the result of the expression is either true or an error; the rules in 2.1 therefore allow the system to return true without checking for the error. This conclusion is not obvious from a reading of section 2.1, but I believe it is correct. Section 2.1 doesn't allow the system to dispense with cardinality checks on a sequence that is wholly or partly evaluated; but it does allow such checks to be skipped in the case of a sequence that is not evaluated at all, because the value of the sequence is never used, and I believe that is the case here. Suggestion: change the test to ("a","b","c") cast as xs:ENTITY which forces the error. 14362 1 carmelo 2007-03-09 14:29:50 +0000 Mike: Thanks for teh comment. Changed test as suggested. Thanks, Carmelo 25412 2 mike 2009-06-01 22:37:11 +0000 Despite comment #1, it appears this bug is still present in the test suite. I'm fixing it by changing the query to let $var := ("a","b","c") cast as xs:ENTITY return count($var) lt 10