patch applied (ghc): More refactoring of constraint simplification

Simon Peyton Jones <[email protected]> Mon, 11 Dec 2006 08:12:57 -0800

Newsgroups	gmane.comp.lang.haskell.cvs.all
Message-ID	<20061211161257.GA3716__1077.26013889096$1165853589$gmane$org@cvs.haskell.org>

Mon Dec 11 08:07:32 PST 2006  [email protected]
  * More refactoring of constraint simplification
  
  This patch fixes several bugs in the handling of impliciation
  constraints, thereby fixing several regression-suite failures.
  
  On the way I managed to further simplify the code in TcSimplify;
  the extra lines are comments.
  

    M ./compiler/typecheck/TcBinds.lhs -15 +15
    M ./compiler/typecheck/TcMType.lhs -4 +12
    M ./compiler/typecheck/TcRnTypes.lhs -1 +6
    M ./compiler/typecheck/TcRules.lhs -2 +2
    M ./compiler/typecheck/TcSimplify.lhs -128 +155
    M ./compiler/typecheck/TcType.lhs -3 +8