This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
This test should also expect XPTY0004. From XQuery, 3.12.3 Cast http://www.w3.org/TR/xquery/#id-cast If the result of atomization is an empty sequence: 2. If ? is not specified after the target type, a type error is raised [err:XPTY0004]. (:*******************************************************:) (: Test: K-SeqExprCast-64 :) (: Written by: Frans Englich :) (: Date: 2007-11-22T11:31:21+01:00 :) (: Purpose: Casting to xs:notation is not allowed. :) (:*******************************************************:) () cast as xs:NOTATION
Ok, fixed in CVS.