projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f38871f) | patch
Type families: new algorithm to solve equalities
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun, 7 Sep 2008 11:21:28 +0000 (11:21 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Sun, 7 Sep 2008 11:21:28 +0000 (11:21 +0000)
commitc4ec8f2a77894af1c6160c4e8ad5625ab62f0bea
tree8869222fd74f285c2f8e29b65d1d8a800723bab0tree | snapshot
parentf38871fdd92e466cbbc7eb08e226c4213bcbd7d6commit | diff
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.
compiler/typecheck/Inst.lhs diff | blob | history
compiler/typecheck/TcRnTypes.lhs diff | blob | history
compiler/typecheck/TcTyFuns.lhs diff | blob | history
compiler/types/Type.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)