Major patch to add -fwarn-redundant-constraints
[ghc.git] / compiler / typecheck / TcInteract.hs
2015-01-06  Simon Peyton JonesMajor patch to add -fwarn-redundant-constraints
2014-12-31  Simon Peyton JonesWhen solving one Given from another, use the depth...
2014-12-30  Simon Peyton JonesComments only, mainly on superclasses
2014-12-23  Simon Peyton JonesEliminate so-called "silent superclass parameters"
2014-12-12  Richard EisenbergFlat constraint --> Simple constraint
2014-12-12  Richard EisenbergRewrite `Coercible` solver
2014-12-10  Simon Peyton JonesComments only: move flattening notes to TcFlatten
2014-12-10  Simon Peyton JonesImplement a fast path for new constraints looking like...
2014-12-10  Simon Peyton JonesReorganise the work list, so that flattening goals...
2014-12-08  Gabor Greifcatch some recent typos
2014-12-08  Simon Peyton JonesRevise the inert-set invariants again
2014-12-04  Adam GundryPrevent solveFlatWanteds from losing insolubles when...
2014-12-03  Austin Seippcompiler: de-lhs typecheck/