26543 2014-08-08 13:57:05 +0000 [xslt30] Circularities, and errors in patterns 2015-03-30 18:36:19 +0000 1 1 1 Unclassified XPath / XQuery / XSLT XSLT 3.0 Working drafts PC All CLOSED FIXED P2 normal --- 1 mike mike abel.braaksma public-qt-comments oldest_to_newest 110039 0 mike 2014-08-08 13:57:05 +0000 In 9.11, circular definitions, we have several examples of circularities involving patterns: Example: Circularity involving Variables and Templates <xsl:variable name="x"> <xsl:apply-templates select="//param[1]"/> </xsl:variable> <xsl:template match="param[$x]">1</xsl:template> Example: Circularity involving Variables and Keys <xsl:variable name="x" select="my:f(10, /)"/> <xsl:function name="my:f"> <xsl:param name="arg1"/> <xsl:param name="top"/> <xsl:sequence select="key('k', $arg1, $top)"/> </xsl:function> <xsl:key name="k" match="item[@code=$x]" use="@desc"/> But we say in 5.6.4 that a dynamic error in evaluating a pattern does not cause the transformation to fail, it causes the pattern to not match. This suggests that these two examples should no longer be errors. Alternatively we could say that the rule about not reporting errors in patterns does not apply to circularity errors. Affects test case error-code-195. 110416 1 mike 2014-08-21 17:06:53 +0000 The WG decided today that when a circularity is detected, it must be reported, and this overrides the rule that dynamic errors in evaluating patterns are normally masked. 110469 2 mike 2014-08-22 11:30:03 +0000 The changes have been applied. 119070 3 abel.braaksma 2015-03-30 18:36:19 +0000 Update: fixed in the XT3 testsuite.