projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c7ad793) | patch
Type families: completed the new equality solver
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Sat, 13 Sep 2008 13:36:31 +0000 (13:36 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Sat, 13 Sep 2008 13:36:31 +0000 (13:36 +0000)
commite891720545a2f088cc48ad62bad7c5b2ad7d183f
tree0fcbe01c03383edc9f72af7ed4e39b19e96b64d5tree | snapshot
parentc7ad7938dc1d27a2471b0b803ac3e70102414a3dcommit | diff
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.
compiler/typecheck/Inst.lhs diff | blob | history
compiler/typecheck/TcSimplify.lhs diff | blob | history
compiler/typecheck/TcTyFuns.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)