Very confusing typo in error message.
[ghc.git] / compiler / typecheck / TcInteract.hs
2016-06-23  Richard EisenbergVery confusing typo in error message.
2016-06-22  Simon Peyton JonesExpand given superclasses more eagerly
2016-06-15  Simon Peyton JonesMajor patch to introduce TyConBinder
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
2016-05-18  Bartosz NitkaMake inert_model and inert_eqs deterministic sets
2016-04-28  Bartosz NitkaKill varSetElems in injImproveEqns
2016-04-22  Simon Peyton JonesWarn about simplifiable class constraints
2016-04-15  Bartosz NitkaKill some unnecessary varSetElems
2016-04-04  Eric SeidelDon't infer CallStacks
2016-03-15  Richard EisenbergFix #11401.
2016-02-24  Richard EisenbergAddress #11471 by putting RuntimeRep in kinds.
2016-02-08  Simon Peyton JonesImprove tracing in TcInteract
2016-01-22  Eric SeidelDefault non-canonical CallStack constraints
2016-01-19  Bartosz NitkaCheck InScopeSet in substTy and provide substTyUnchecked
2016-01-18  Jan StolarekReplace calls to `ptext . sLit` with `text`
2016-01-18  Eric Seidelun-wire-in error, undefined, CallStack, and IP
2016-01-16  Simon Peyton JonesFix a number of subtle solver bugs
2016-01-07  Gabor GreifTypos in docs and comments
2015-12-16  Richard EisenbergNote [The equality types story] in TysPrim
2015-12-15  Ben GamariExpose enabled language extensions to TH
2015-12-15  Simon Peyton JonesAllow recursive (undecidable) superclasses
2015-12-12  Eric SeidelRework the Implicit CallStack solver to handle local...
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-11-18  Simon Peyton JonesComments only
2015-10-30  Ben GamariGenerate Typeable info at definition sites
2015-10-29  Ben GamariRevert "Generate Typeable info at definition sites"
2015-10-29  Ben GamariGenerate Typeable info at definition sites
2015-09-21  Richard EisenbergRefactor BranchLists.
2015-09-11  Simon Peyton JonesA CFunEqCan can be Derived
2015-09-03  Jan StolarekInjective type families
2015-09-02  Eric SeidelUse IP based CallStack in error and undefined
2015-07-31  Gabor GreifTypos in comments
2015-07-21  Simon Peyton JonesComments only (superclasses and improvement)
2015-06-28  Ben GamariAdd -fcross-module-specialise flag
2015-06-26  Simon Peyton JonesBetter tracing and tiny refactoring
2015-06-21  Iavor S. DiatchkiChange `Typeable` instance for type-lis to use the...
2015-06-16  Richard EisenbergDecompose wanted repr. eqs. when no matchable givens.
2015-06-16  Ben GamariEncode alignment in MO_Memcpy and friends
2015-06-16  Ben Gamariusers_guide: Various spelling fixes
2015-06-16  Ben GamariLexer: Suggest adding 'let' on unexpected '=' token
2015-06-15  Simon Peyton JonesRemove derived CFunEqCans after solving givens
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 JonesMake the "matchable-given" check happen first
2015-05-18  Simon Peyton JonesRefactor tuple constraints
2015-05-14  Austin SeippRevert multiple commits
2015-05-13  Simon Peyton JonesMake the "matchable-given" check happen first
2015-05-13  Simon Peyton JonesTwo wibbles to fix the build
2015-05-13  Simon Peyton JonesRefactor tuple constraints
2015-05-12  Erik de Castro LopoUse fmap instead of <$> (Fixes #10407)
2015-05-12  David TereiNew handling of overlapping inst in Safe Haskell
2015-04-30  Gabor GreifTypo fixes (mostly in comments)
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/