16681 2012-04-10 13:05:07 +0000 [XP30] err:XPDY0129 2012-05-22 16:33:44 +0000 1 1 1 Unclassified XPath / XQuery / XSLT XPath 3.0 Member-only Editors Drafts PC Windows NT RESOLVED FIXED https://www.w3.org/XML/Group/qtspecs/specifications/xquery-30/html/xpath-30.html#id-cast P2 normal --- 1 tim jonathan.robie public-qt-comments oldest_to_newest 66561 0 tim 2012-04-10 13:05:07 +0000 In section 3.13.2 Cast of XPath 3.0, a new error is introduced. err:XPDY0129 The cast failed because the input value is not in the lexical space of the target type (after whitespace normalization as required by the target type). Yet the text also states that: "If casting from the input type to the target type is supported but nevertheless it is not possible to cast the input value into the value space of the target type, a dynamic error is raised. [err:FORG0001] This includes the case when any facet of the target type is not satisfied. For example, the expression "2003-02-31" cast as xs:date would raise a dynamic error." What conditions does XPDY0129 catch which are not already caught by FORG0001 (Invalid value for cast/constructor.) or indeed err:FOCA0002 (Invalid lexical value). Note that XPDY0129 is not mentioned in section 18 Casting of F&0 3.0. 68012 1 jonathan.robie 2012-05-22 16:33:44 +0000 I will replace XPDY0129 with FORG0001.