Utilisation plus précise de la contrainte de type pour interpréter les points-fixes: on applique maintenant cette contrainte avant de généraliser corps et types vis à vis du context (utile notamment en présence de let-in dont on ne sait pas sinon s'ils font partie de la contrainte de type ou du contexte de typage).
Utilisation plus précise de la contrainte de type pour interpréter les
points-fixes: on applique maintenant cette contrainte avant de
généraliser corps et types vis à vis du context (utile notamment en
présence de let-in dont on ne sait pas sinon s'ils font partie de la
contrainte de type ou du contexte de typage).



git-svn-id: a49b465eaba45b67e2e1e4e0b2c256a71f59fecb@10088 85f007b7-540e-0410-9357-904b9bb8a0f7

SamB/coq