From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 4 Dec 2002 12:39:45 +0000 (+0000)
Subject: Several bug-fixes to the abstparam hell.
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c6748ac0466bfaa2869126a255ab5c8d78ad590e;p=helm.git

Several bug-fixes to the abstparam hell.
---

diff --git a/helm/style/params.xsl b/helm/style/params.xsl
index 355baef56..1b5f41670 100644
--- a/helm/style/params.xsl
+++ b/helm/style/params.xsl
@@ -316,13 +316,13 @@
          </xsl:if> 
 	</xsl:for-each>
         <xsl:apply-templates select="target/*[1]" mode="abstparams">
-       <xsl:with-param name="noparams" select="$noparams - count(decl)"/>
-       <xsl:with-param name="target" select="$target"/>
-       <xsl:with-param name="binder" select="$binder"/>
+         <xsl:with-param name="noparams" select="$noparams - count(decl)"/>
+         <xsl:with-param name="target" select="$target"/>
+         <xsl:with-param name="binder" select="$binder"/>
         </xsl:apply-templates>
        </xsl:when>
        <xsl:otherwise>
-        <xsl:for-each select="decl[$noparams > position()]">
+        <xsl:for-each select="decl[$noparams >= position()]">
          <xsl:if test="$target = 0">
           <xsl:choose>
           <xsl:when test="string($binder) = &quot;LAMBDA&quot;">
@@ -338,14 +338,16 @@
           </xsl:choose>
          </xsl:if> 
 	</xsl:for-each>
-        <xsl:choose>
-	 <xsl:when test="name(.)=&quot;PROD&quot;">
-	  <xsl:apply-templates select="decl[position()=$noparams]" mode="prod"/>
-	 </xsl:when>
-	 <xsl:otherwise>
-	  <xsl:apply-templates select="decl[position()=$noparams]" mode="lambda"/>
-	 </xsl:otherwise>
-	</xsl:choose>
+        <xsl:if test="$target = 1">
+         <xsl:choose>
+	  <xsl:when test="name(.)=&quot;PROD&quot;">
+	   <xsl:apply-templates select="decl[position()=$noparams+1]" mode="prod"/>
+	  </xsl:when>
+	  <xsl:otherwise>
+	   <xsl:apply-templates select="decl[position()=$noparams+1]" mode="lambda_prop"/>
+	  </xsl:otherwise>
+	 </xsl:choose>
+        </xsl:if>
        </xsl:otherwise>
       </xsl:choose>
      </xsl:when>
@@ -408,7 +410,10 @@
 <xsl:param name="count" select="0"/>
  <xsl:choose>
  <xsl:when test="name(.) = &quot;PROD&quot;">
-  <xsl:value-of select="count(decl)- $noparams"/>
+  <xsl:apply-templates select="target/*[1]" mode="counting">
+   <xsl:with-param name="noparams" select="$noparams"/>
+   <xsl:with-param name="count" select="$count + count(decl)"/> 
+  </xsl:apply-templates>
  </xsl:when>
  <xsl:when test="name(.) = &quot;CAST&quot;">
   <xsl:apply-templates select="term/*[1]" mode="counting">