Re: SFINAE in xslt?

The effect of dynamic errors occurring during pattern evaluation is
described here:

http://www.w3.org/TR/xslt20/#pattern-errors

<xsl:stylesheet version="2.0"
 xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
 xmlns:xs="http://www.w3.org/2001/XMLSchema">

 <xsl:template match="/">
   <xsl:variable name="operator" as="element()+">
     <div divident="10" divisor="0"/>
     <div divident="10" divisor="2"/>
   </xsl:variable>

   <xsl:apply-templates select="$operator"/>
 </xsl:template>

 <xsl:template match="
   div[(xs:integer(@divident) div xs:integer(@divisor)) ne number('')]">
   <xsl:message select="xs:integer(@divident) div xs:integer(@divisor)"/>
 </xsl:template>

 <xsl:template match="div">
   <xsl:message select="'Division by zero.'"/>
 </xsl:template>

Thanks.
--
Vladimir Nesterovsky
http://www.nesterovsky-bros.com

-----Original Message-----
From: Vladimir Nesterovsky [mailto:vladimir@xxxxxxxxxxxxxxxxxxxx]
Sent: 30 July 2008 16:37
To: xsl-list@xxxxxxxxxxxxxxxxxxxxxx
Subject:  SFINAE in xslt?

I'm curious if in the xslt 2.0 works SFINAE principle
(http://en.wikipedia.org/wiki/Substitution_failure_is_not_an_error)
regarding template match?

For a template:

<xsl:template match="if[then/exactly-one(signal)]"/>

and a code

<xsl:variable name="statement" as="element()">
  <if>
    <then/>
  </if>
</xsl:variable>

<xsl:apply-templates select="$statement"/>

what are chances to not to fail on the specified template?