patch applied (ghc): Type families: completed the new equality solver

[chak at cse.unsw.edu.au]

Sat Sep 13 06:36:31 PDT 2008  Manuel M T Chakravarty <chak at cse.unsw.edu.au>
  * Type families: completed the new equality solver
  - Implements normalisation of class constraints containing synonym family
    applications or skolems refined by local equalities.
  - Clean up of TcSimplify.reduceContext by using the new equality solver.
  - Removed all the now unused code of the old algorithm.
  - This completes the implementation of the new algorithm, but it is largely
    untested => many regressions.

    M ./compiler/typecheck/Inst.lhs -2 +2
    M ./compiler/typecheck/TcSimplify.lhs -74 +55
    M ./compiler/typecheck/TcTyFuns.lhs -1147 +339

View patch online:
http://darcs.haskell.org/ghc/_darcs/patches/20080913133631-6295e-d9b25b1f3a52da965aa150b26020603f67ee4381.gz