[Bug 26543] New: [xslt30] Circularities, and errors in patterns

https://www.w3.org/Bugs/Public/show_bug.cgi?id=26543

            Bug ID: 26543
           Summary: [xslt30] Circularities, and errors in patterns
           Product: XPath / XQuery / XSLT
           Version: Working drafts
          Hardware: PC
                OS: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XSLT 3.0
          Assignee: mike@saxonica.com
          Reporter: mike@saxonica.com
        QA Contact: public-qt-comments@w3.org

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.

-- 
You are receiving this mail because:
You are the QA Contact for the bug.

Received on Friday, 8 August 2014 13:57:08 UTC