26801 2014-09-15 00:36:34 +0000 [XT30] evaluate-026 should raise XTTE3210, evaluate-023 should raise XTTE0780 2015-05-06 21:14:02 +0000 1 1 1 Unclassified XPath / XQuery / XSLT XSLT 3.0 Test Suite Last Call drafts PC Windows NT CLOSED FIXED P2 normal --- 1 abel.braaksma mike public-qt-comments oldest_to_newest 111496 0 abel.braaksma 2014-09-15 00:36:34 +0000 -evaluate-023 The test currently raises XPTY0004, but the spec states: "The as attribute, if present, indicates the required type of the result. [....]. This may cause a type error if conversion is not possible." and later: [ERR XTTE0780] If the as attribute [of xsl:function ] is specified, then the result evaluated by the sequence constructor (see 5.8 Sequence Constructors) is converted to the required type, using the function conversion rules. It is a type error if this conversion fails. So: there seems to be no specific error to use with evaluate-023 (which has a type error in the result), however, I would argue that XTTE0780 makes an excellent candidate. Or should we update the spec and create a specific error for this case? It seems to me that XPTY0004 is actually reserved for XPath type errors, not necessarily for XSLT-conversion-to-required-as-type. -evaluate-026 That test currently raises XPTY0004, while the spec states: [ERR XTTE3210] If the result of evaluating the context-item expression is a sequence containing more than one item, then a type error is signaled. 111497 1 abel.braaksma 2014-09-15 01:38:42 +0000 Currently fixed in Rev#680 by allowing both errors for evaluate-023 and introducing the error for evaluate-026. Leaving the bug open and assigning the bug to Michael Kay, for extra review and further discussion, if so needed. 120157 2 abel.braaksma 2015-05-06 21:14:02 +0000 Was resolved > 30 days ago, closing.