Add kind equalities to GHC.
[ghc.git] / compiler / types / Type.hs
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-09  Gabor GreifMore typos in comments/docs
2015-12-07  Ömer Sinan AğacanGet rid of tcView altogether
2015-12-04  Simon Peyton JonesMinor refactoring of user type errors
2015-12-03  George KarachaliasMajor Overhaul of Pattern Match Checking (Fixes #595)
2015-11-16  Iavor S. DiatchkiImplement support for user-defined type errors.
2015-10-30  Ben GamariGenerate Typeable info at definition sites
2015-10-29  Ben GamariRevert "Generate Typeable info at definition sites"
2015-10-29  Ben GamariGenerate Typeable info at definition sites
2015-09-02  Eric SeidelUse IP based CallStack in error and undefined
2015-08-05  Simon Peyton JonesTidy up and refactor wildcard handling
2015-06-16  Richard EisenbergRefactor handling of decomposition.
2015-05-18  Simon Peyton JonesRefactor tuple constraints
2015-05-14  Austin SeippRevert multiple commits
2015-05-13  Simon Peyton JonesRefactor tuple constraints
2015-04-22  Simon Peyton JonesDo not decompose => (Trac #9858)
2015-03-02  Simon Peyton JonesImprove comments on coreView/tcView, and combine coreEx...
2015-02-10  Yuri de WitReplace .lhs with .hs in compiler comments
2014-12-12  Richard EisenbergRewrite `Coercible` solver
2014-12-01  Herbert Valerio... unlit compiler/types/ modules