Sat Sep 13 06:36:31 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]>
* 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
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
