From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Fri, 4 Apr 2008 13:10:22 +0000 (+0000)
Subject: type_of_constant was retunrning the type of the wrong constructor (-1 missing)
X-Git-Tag: make_still_working~5447
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=3ec1830d5251709ed6c4899c74903498a6cd2744;hp=3ec1830d5251709ed6c4899c74903498a6cd2744;p=helm.git

type_of_constant was retunrning the type of the wrong constructor (-1 missing)
fixpoints were not properly debruijnated before being checked
better error message for match branches
---