Another major improvement of "improvement"
[ghc.git] / compiler / typecheck / TcSimplify.hs
2015-06-11  Simon Peyton JonesAnother major improvement of "improvement"
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-30  Simon Peyton JonesTidy up treatment of FlexibleContexts
2015-04-29  Simon Peyton JonesImprove improvement in the constraint solver
2015-04-10  Gabor GreifTypos in error messages and in comments
2015-02-13  Simon Peyton JonesRefactor decideQuantification
2015-01-14  Simon Peyton JonesTiny refactoring (shorter, simpler code)
2015-01-14  Simon Peyton JonesTighten up constraint solve order for RULES
2015-01-09  Simon Peyton JonesFix Trac #9973 (buglet in -fwarn-redundant-constraints)
2015-01-06  Simon Peyton JonesTest Trac #9939
2015-01-06  Simon Peyton JonesMajor patch to add -fwarn-redundant-constraints
2015-01-06  Simon Peyton JonesUse a less fragile method for defaulting
2015-01-06  Simon Peyton JonesReplace fixVarSet with transCloVarSet
2014-12-17  Gabor GreifTypos in comments
2014-12-12  Richard EisenbergFlat constraint --> Simple constraint
2014-12-12  Richard EisenbergRewrite `Coercible` solver
2014-12-03  Austin Seippcompiler: de-lhs typecheck/