This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
In XQ10, it was an error (XPST0080) to cast to xs:anyAtomicType. Since casting to simple types is now permitted, this error condition should be extended to casting to xs:anySimpleType. This affects cast and castable in XQ30 and XP30. This is tested in K-SeqExprCastable-5a and K-SeqExprCast-4a.
Requires Working Group agreement. I'm leaving this open until the next telcon.
The Working Group agrees. The F&O spec is definitive here, and already raises an error in this case. The language specifications need to be revised to agree with F&O.
Changing the resolution to INVALID. As I started adding this to the spec, I found that this error is already defined in 3.16.3 Cast: "the target type cannot be xs:NOTATION or xs:anyAtomicType [err:XPST0080]."
I presume you marked this as invalid because F&O doesn't mention anySimpleType for XPST0080. I'm therefore reopening it against F&O
In XQuery/XPath/F&O, we will add xs:anySimpleType to the list: "the target type cannot be xs:NOTATION or xs:anyAtomicType or xs:anySimpleType[err:XPST0080]."