Another major improvement of "improvement"
[ghc.git] / compiler / typecheck / TcFlatten.hs
2015-06-11  Simon Peyton JonesAnother major improvement of "improvement"
2015-05-07  Simon Peyton JonesComments only
2015-05-01  Simon Peyton JonesMake Derived NomEq rewrite only Derived NomEq
2015-04-29  Simon Peyton JonesImprove improvement in the constraint solver
2015-04-29  Simon Peyton JonesDon't print evidence in TcFlatten
2015-04-22  Simon Peyton JonesComments only
2015-04-14  Simon Peyton JonesComments and white space only
2015-03-23  Richard EisenbergDo proper depth checking in the flattener to avoid...
2015-03-02  Simon Peyton JonesImprove comments on coreView/tcView, and combine coreEx...
2015-02-20  Simon Peyton JonesComments only
2015-01-09  Simon Peyton JonesA little tidying up in the flattener
2015-01-06  Simon Peyton JonesMajor patch to add -fwarn-redundant-constraints
2014-12-23  Simon Peyton JonesComments only
2014-12-22  Richard EisenbergExpand notes in TcFlatten
2014-12-20  Richard EisenbergOptimize flattener by trying to reduce a TF before...
2014-12-17  Richard EisenbergPerformance enhancements in TcFlatten.
2014-12-12  Richard EisenbergRewrite `Coercible` solver
2014-12-11  Simon Peyton JonesWhite space wibble only
2014-12-10  Simon Peyton JonesComments only: move flattening notes to TcFlatten
2014-12-10  Simon Peyton JonesWhen flattening, try reducing type-family applications...
2014-12-10  Simon Peyton JonesReorganise the work list, so that flattening goals...
2014-12-08  Simon Peyton JonesRevise the inert-set invariants again
2014-12-03  Austin Seippcompiler: de-lhs typecheck/