Major patch to introduce TyConBinder
[ghc.git] / compiler / typecheck / TcCanonical.hs
2016-06-15  Simon Peyton JonesMajor patch to introduce TyConBinder
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
2016-04-22  Simon Peyton JonesA little more debug tracing
2016-04-15  Simon Peyton JonesImprove TcFlatten.flattenTyVar
2016-04-10  Jason EisenbergFix suggestions for unbound variables (#11680)
2016-03-17  Richard EisenbergFix #11716.
2016-03-01  Simon Peyton JonesComments only
2016-02-24  Richard EisenbergAddress #11471 by putting RuntimeRep in kinds.
2016-02-08  Simon Peyton JonesDocument and improve superclass expansion
2016-01-25  Simon Peyton JonesSpecial-case implicit params in superclass expansion
2016-01-18  Jan StolarekReplace calls to `ptext . sLit` with `text`
2016-01-16  Simon Peyton JonesFix a number of subtle solver bugs
2015-12-31  Herbert Valerio... Drop pre-AMP compatibility CPP conditionals
2015-12-15  Simon Peyton JonesAllow recursive (undecidable) superclasses
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-07  Ömer Sinan AğacanGet rid of tcView altogether
2015-10-30  Simon Peyton JonesRecord usage information using GlobalRdrElt
2015-09-21  Richard EisenbergSlightly better `Coercible` errors.
2015-09-03  Jan StolarekInjective type families
2015-08-07  Simon Peyton JonesComments only
2015-07-21  Simon Peyton JonesRefactor newSCWorkFromFlavoured
2015-07-21  Simon Peyton JonesComments only (superclasses and improvement)
2015-06-28  Ben GamariAdd -fcross-module-specialise flag
2015-06-26  Simon Peyton JonesKill off sizePred
2015-06-18  Simon Peyton JonesComments plus tiny refactoring
2015-06-18  Simon Peyton JonesComments only
2015-06-16  Richard EisenbergClarify some comments around injectivity.
2015-06-16  Richard EisenbergFix typo in comment
2015-06-16  Richard EisenbergTreat funTyCon like any other TyCon in can_eq_nc.
2015-06-16  Richard EisenbergRefactor handling of decomposition.
2015-06-16  Richard Eisenberg(mostly) Comments only
2015-06-16  Richard EisenbergDecompose wanted repr. eqs. when no matchable givens.
2015-06-16  Richard EisenbergFix #10493.
2015-06-16  Richard EisenbergFix #10494
2015-06-16  Ben Gamariusers_guide: Various spelling fixes
2015-06-16  Ben GamariLexer: Suggest adding 'let' on unexpected '=' token
2015-06-11  Simon Peyton JonesAnother major improvement of "improvement"
2015-06-05  Richard EisenbergMinor code cleanup
2015-06-03  Simon Peyton JonesRefactor RdrName.Provenance, to fix #7672
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-04-29  Simon Peyton JonesImprove improvement in the constraint solver
2015-04-29  Simon Peyton JonesA little outright bug in canEqTyVar2
2015-04-24  Richard EisenbergFix #10285 by refusing to use NthCo on a newtype.
2015-04-22  Simon Peyton JonesFix superclass generation in an instance
2015-04-09  Simon Peyton JonesMake the evidence in a CtGiven into an EvId
2015-03-23  Richard EisenbergDo proper depth checking in the flattener to avoid...
2015-02-20  Simon Peyton JonesComments only
2015-02-20  Simon Peyton JonesDon't report instance constraints with fundeps as redundant
2015-02-12  Simon Peyton JonesTiny refactoring; no change in behaviour
2015-02-11  Richard EisenbergFix #10079 by recurring after flattening exposes a...
2015-01-16  Simon Peyton JonesFix a terrible bug in the canonicaliser which led to...
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 JonesEliminate the final two calls to xCtEvidence
2014-12-30  Simon Peyton JonesComments only, mainly on superclasses
2014-12-17  Simon Peyton JonesFix egregious bug in the new canonicalisation code...
2014-12-12  Richard EisenbergFlat constraint --> Simple constraint
2014-12-12  Richard EisenbergRewrite `Coercible` solver
2014-12-10  Simon Peyton JonesImplement a fast path for new constraints looking like...
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  Gabor Greifcatch some recent typos
2014-12-08  Simon Peyton JonesRevise the inert-set invariants again
2014-12-08  Simon Peyton JonesImprove the treatment of AppTy equalities
2014-12-03  Austin Seippcompiler: de-lhs typecheck/