----------------------------------------------------------------------

[helm.git] / helm / style / content.xsl

diff --git a/helm/style/content.xsl b/helm/style/content.xsl
index 697624810147482ad5340d17a61d2b1624b04d14..2ce29b43ad68cf7f4299d7c44d87273a70c1625f 100644 (file)
--- a/helm/style/content.xsl
+++ b/helm/style/content.xsl
@@ -209,9 +209,13 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
      <xsl:apply-templates select="patternsType/*[1]" mode="noannot"/>
      <xsl:apply-templates select="inductiveTerm/*[1]" mode="noannot"/>
      <xsl:variable name="nop"><xsl:value-of select="document(concat(string($absPath),$Turi))/InductiveDefinition/@noParams"/></xsl:variable>
+<piecewise>
      <xsl:for-each select="pattern">
       <xsl:variable name="pos" select="position()"/>
       <xsl:variable name="nopar"><xsl:apply-templates select="document(concat(string($absPath),$Turi))/InductiveDefinition/InductiveType[position()=number($Tindex)+1]/Constructor[position()=number($pos)]/*[1]" mode="counting"><xsl:with-param name="noparams" select="$nop"/></xsl:apply-templates></xsl:variable>
+<piece>
+      <xsl:apply-templates select="./*[1]" mode="abstparams"><xsl:with-param name="noparams" select="$nopar"/><xsl:with-param name="target" select="1"/><xsl:with-param name="binder">LAMBDA</xsl:with-param></xsl:apply-templates>
+
       <xsl:choose>
       <xsl:when test="$nopar = 0">
        <m:ci>
@@ -228,8 +232,9 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
         </m:apply>
        </xsl:otherwise>
        </xsl:choose>
-      <xsl:apply-templates select="./*[1]" mode="abstparams"><xsl:with-param name="noparams" select="$nopar"/><xsl:with-param name="target" select="1"/><xsl:with-param name="binder">LAMBDA</xsl:with-param></xsl:apply-templates>
-     </xsl:for-each> 
+</piece>
+     </xsl:for-each>
+</piecewise> 
     </m:apply>
 </xsl:template>