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]."