Kill inaccessible-branch complaints in record update
[ghc.git] / compiler / types / Unify.hs
2017-01-25  Gabor GreifTypos in comments [ci skip]
2016-09-23  Richard EisenbergFix #12442.
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
2016-05-24  Bartosz NitkaDocument some benign nondeterminism
2016-04-28  Bartosz NitkaAdd uniqSetAny and uniqSetAll and use them
2016-03-30  Simon Peyton JonesComments only in Unify.hs
2016-03-26  Richard EisenbergClarify Note [Kind coercions in Unify]
2016-03-21  Richard EisenbergAdd two small optimizations. (#11196)
2016-03-21  Richard EisenbergFix exponential algorithm in pure unifier.
2016-02-17  Richard EisenbergAdd missing kind cast to pure unifier.
2016-02-08  Simon Peyton JonesDefine mkTvSubst, and use it
2016-01-18  Simon Peyton JonesSimplify API to tcMatchTys
2016-01-01  Herbert Valerio... Canonicalise `MonadPlus` instances
2015-12-31  Herbert Valerio... Remove some redundant definitions/constraints
2015-12-31  Herbert Valerio... Drop pre-AMP compatibility CPP conditionals
2015-12-24  Simon Peyton JonesRefactoring only
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