Improve improvement in the constraint solver
[ghc.git] / compiler / typecheck / TcInteract.hs
2015-04-29  Simon Peyton JonesImprove improvement in the constraint solver
2015-04-16  Iavor S. DiatchkiFixes (hopefully!) T9858
2015-04-14  Simon Peyton JonesDo not allow Typeable on constraints (Trac #9858)
2015-04-10  Gabor GreifTypos in error messages and in comments
2015-04-09  Simon Peyton JonesMake the evidence in a CtGiven into an EvId
2015-04-07  Simon Peyton JonesMore aggressive Given/Wanted overlap check
2015-03-23  Richard EisenbergDo proper depth checking in the flattener to avoid...
2015-03-19  Iavor S. DiatchkiRemove unused parameter to `EvTypeableTyCon`
2015-03-19  Iavor S. DiatchkiMerge branch 'master' of git://git.haskell.org/ghc
2015-03-19  Iavor S. DiatchkiImprove `Typeable` solver.
2015-03-07  Iavor S. DiatchkiCustom `Typeable` solver, that keeps track of kinds.
2015-02-20  Simon Peyton JonesComments only
2015-02-10  Yuri de WitReplace .lhs with .hs in compiler comments
2015-01-27  Richard EisenbergFix #10031 by inverting a critical test in kick_out.
2015-01-22  Simon Peyton JonesMerge branch 'master' of ssh://git.haskell.org/ghc
2015-01-20  Simon Peyton JonesSome simplification and refactoring of FunDeps
2015-01-19  Eric SeidelExpose source locations via Implicit Parameters of...
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-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/