7925 2009-10-15 08:04:19 +0000 [XQTS]: CVS: statictyping-24 2010-03-16 16:04:38 +0000 1 1 1 Unclassified XML Query Test Suite XML Query Test Suite unspecified PC Windows NT CLOSED FIXED P2 normal --- 1 tim spungi oliver spungi public-qt-comments oldest_to_newest 28361 0 tim 2009-10-15 08:04:19 +0000 This test, which aims to test the resolution of Bug 5651, should probably expect FORG0006 rather than XPTY0004 in keeping with fn:boolean. (:*******************************************************:) (:Name: statictyping-24 :) (:Written By: Sorin Nasoi :) (:Description: Evaluation of static typing feature within:) (:a "where" clause. :) (:Wrong operand for expression (uses fn:not) :) (:*******************************************************:) (: insert-start :) declare variable $input-context1 external; (: insert-end :) let $var := ("a","b","c") where fn:not($var) eq fn:true() return $var 29168 1 spungi 2009-10-28 10:40:12 +0000 This test expects FORG0006, not XPTY0004 as stated in the cat/STFLWORExpr.xml: <test-case is-XPath2="false" name="statictyping-24" FilePath="StaticTyping/STFLWORExpr/" scenario="runtime-error" [...] <expected-error>FORG0006</expected-error> </test-case> 29197 2 oliver 2009-10-29 14:25:31 +0000 In a static typing implementation the error that should be raised is XPTY0004, and not FORG0006. Since this is a static-typing query the expected error should be changed to XPTY0004. This is because the only static typing rule for fn:boolean is: statEnv |- Type <: (empty | NodeType+ | xs:boolean | xs:string | xs:untypedAtomic | fs:numeric | xs:anyURI) -------------------------------------------------- statEnv |- (FN-URI,"boolean")(Type) : xs:boolean and so the query should result in a static type error (XPTY0004)