Add kind equalities to GHC.
[ghc.git] / compiler / types / Unify.hs
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-07  Ömer Sinan AğacanGet rid of tcView altogether
2015-11-21  Bartosz NitkaCreate a deterministic version of tyVarsOfType
2015-11-17  David LuposchainskyMonadFail proposal, phase 1
2015-10-30  Ben GamariUnify: Add Outputable instance for UnifyResultM
2015-10-17  Herbert Valerio... Make Monad/Applicative instances MRP-friendly
2015-09-03  Jan StolarekInjective type families
2015-07-24  Simon Peyton JonesRefactoring around FunDeps
2015-06-16  Richard EisenbergReimplement Unify.typesCantMatch in terms of apartness.
2015-06-16  Richard EisenbergFix #10493.
2015-02-10  Yuri de WitReplace .lhs with .hs in compiler comments
2014-12-04  Edward Z. YangComments on TrieMap and unifier.
2014-12-01  Herbert Valerio... unlit compiler/types/ modules