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

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
3 messages Options
Reply | Threaded
Open this post in threaded view
|

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

Bugzilla from bugzilla@jessica.w3.org
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: [hidden email]
          Reporter: [hidden email]
        QA Contact: [hidden email]

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.

Reply | Threaded
Open this post in threaded view
|

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

Bugzilla from bugzilla@jessica.w3.org
https://www.w3.org/Bugs/Public/show_bug.cgi?id=26543

Michael Kay <[hidden email]> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |FIXED

--- Comment #1 from Michael Kay <[hidden email]> ---
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.

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

Reply | Threaded
Open this post in threaded view
|

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

Bugzilla from bugzilla@jessica.w3.org
In reply to this post by Bugzilla from bugzilla@jessica.w3.org
https://www.w3.org/Bugs/Public/show_bug.cgi?id=26543

Michael Kay <[hidden email]> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |CLOSED

--- Comment #2 from Michael Kay <[hidden email]> ---
The changes have been applied.

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