19090 2012-09-27 09:57:04 +0000 [XQ30] casting to xs:anySimpleType 2012-10-09 16:18:38 +0000 1 1 1 Unclassified XPath / XQuery / XSLT Functions and Operators 3.0 Working drafts PC Windows NT RESOLVED FIXED P2 normal --- 1 tim mike jonathan.robie public-qt-comments oldest_to_newest 74634 0 tim 2012-09-27 09:57:04 +0000 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. 74897 1 jonathan.robie 2012-09-30 19:57:13 +0000 Requires Working Group agreement. I'm leaving this open until the next telcon. 75073 2 jonathan.robie 2012-10-02 17:03:23 +0000 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. 75130 3 jonathan.robie 2012-10-02 22:38:09 +0000 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]." 75194 4 tim 2012-10-03 06:09:51 +0000 I presume you marked this as invalid because F&O doesn't mention anySimpleType for XPST0080. I'm therefore reopening it against F&O 75704 5 jonathan.robie 2012-10-09 16:18:38 +0000 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]."