Sun Sep 7 04:21:28 PDT 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]>
* Type families: new algorithm to solve equalities
- This adds the new equational solver based on the notion of normalised
equalities.
- The new algorithm is conceptually much simpler and will eventually enable us
to implement a fully integrated solver that solves equality and dictionary
constraints together.
- More details are at
<http://hackage.haskell.org/trac/ghc/wiki/TypeFunctionsSolving>
- The code is there, but it is not being used yet.
M ./compiler/typecheck/Inst.lhs -38 +120
M ./compiler/typecheck/TcRnTypes.lhs -17 +16
M ./compiler/typecheck/TcTyFuns.lhs -6 +784
M ./compiler/types/Type.lhs -1 +7
View patch online:
http://darcs.haskell.org/ghc/_darcs/patches/20080907112128-6295e-520674c49c8c5ff41f5d92145d437aca780fa3e9.gz
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
