This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
The way in which general comparisons are expanded in the Formal Semantics spec mean that these four queries which really should pass static type checking do not. some $v1 in fn:data(([Expr1]Expr)) satisfies some $v2 in fn:data(([Expr2]Expr)) satisfies let $u1 := fs:convert-operand($v1, $v2) return let $u2 := fs:convert-operand($v2, $v1) return [GeneralOp]GeneralOp ($u1, $u2) e.g. if v1 has type xs:untypedAtomic and v2 has type (xs:untypedAtomic | xs:decimal), type checking will fail. (:*******************************************************:) (: Test: K-GenCompEq-10 :) (: Written by: Frans Englich :) (: Date: 2006-10-05T18:29:37+02:00 :) (: Purpose: Example from the XPath 2.0 specification. :) (:*******************************************************:) not((xs:untypedAtomic("1"), xs:untypedAtomic("2")) = (xs:untypedAtomic("2.0"), 3.0))
An attempted fix has been committed to CVS, and should be part of XQTS_current.zip. Feel free to verify that the fix is acceptable, and if so, change status to CLOSED. If the attempted fix is not acceptable, reopen this report. If no opinion about this resolution is expressed within two weeks, it will be closed.
K-GenCompEq-9, 10, 32, 33 are now fixed.