Another major improvement of "improvement"
[ghc.git] / compiler / typecheck / TcInstDcls.hs
2015-06-02  Gabor GreifTypofixes
2015-06-01  Simon Peyton JonesRe-do superclass solving (again); fixes #10423
2015-05-18  Simon Peyton JonesRefactor tuple constraints
2015-05-14  Austin SeippRevert multiple commits
2015-05-13  Simon Peyton JonesRefactor tuple constraints
2015-05-12  David TereiNew handling of overlapping inst in Safe Haskell
2015-04-22  Simon Peyton JonesFix superclass generation in an instance
2015-04-16  Iavor S. DiatchkiAdd exception for `KnownNat` and `KnownSymbol` in super...
2015-04-09  Simon Peyton JonesMake the evidence in a CtGiven into an EvId
2015-03-24  Simon Peyton JonesImprove environment handling in TcBinds
2015-03-07  Iavor S. DiatchkiCustom `Typeable` solver, that keeps track of kinds.
2015-03-02  Gabor GreifTypos in non-code
2015-02-19  Thomas WinantFix #10045
2015-02-18  Gabor GreifTypo in function name
2015-01-16  Alan ZimmermanAPI Annotations tweaks.
2015-01-14  Simon Peyton JonesRefactor handling of SPECIALISE pragmas (Trac #5821)
2015-01-06  Simon Peyton JonesMajor patch to add -fwarn-redundant-constraints
2014-12-30  Simon Peyton JonesComments only, mainly on superclasses
2014-12-23  Simon Peyton JonesEliminate so-called "silent superclass parameters"
2014-12-03  Austin Seippcompiler: de-lhs typecheck/