tunneling through default templates

Explicit tunneling of XSLT 2.0 variables in Saxon 7.8 works great, and is
fun to see. I tried testing the following rule from the 2.0 spec,

   At XSLT 1.0, if a built-in template rule was invoked with parameters, the
parameters were  
   not passed on to any templates invoked by the built-in rule. At XSLT 2.0,
these parameters 
   are passed through the built-in template rule unchanged.

using this input document 

  <a><b><c/></b></a>

and this stylesheet:

  <xsl:stylesheet xmlns:xsl="http://www.w3.org/1999/XSL/Transform";
                  version="2.0">
    <xsl:output omit-xml-declaration="yes"/>

    <xsl:template match="a">
      <xsl:apply-templates>
        <xsl:with-param name="flavor">mint</xsl:with-param>
      </xsl:apply-templates>
    </xsl:template>

    <xsl:template match="c">
      <xsl:param name="flavor">vanilla</xsl:param>
      Today's flavor: <xsl:value-of select="$flavor"/>
    </xsl:template>

  </xsl:stylesheet>

The output didn't indicate that the $flavor value of "mint" had been passed.
Has the passing-through of parameters by the built-in template rules been
implemented in Saxon 7 yet, or did I do something wrong? 

thanks,

Bob



-------------------------------------------------------
The SF.Net email is sponsored by EclipseCon 2004
Premiere Conference on Open Tools Development and Integration
See the breadth of Eclipse activity. February 3-5 in Anaheim, CA.
http://www.eclipsecon.org/osdn