Refactor the treatment of predicate types
[ghc.git] / compiler / typecheck / TcInteract.hs
2018-10-24  Simon Peyton JonesRefactor the treatment of predicate types
2018-10-23  Ben GamariAdd 'hadrian/' from commit '45f3bff7016a2a0cd9a5455a882...
2018-09-13  Simon Peyton JonesAllow (~) in the head of a quantified constraints
2018-07-25  Simon Peyton Jonestc-tracing only
2018-07-25  Simon Peyton JonesFix and document cloneWC
2018-07-05  Simon Peyton JonesRefactor validity checking for constraints
2018-07-04  Simon Peyton JonesAdd comments on Typeable (n :: Nat)
2018-06-22  Simon Peyton JonesRefactor try_solve_fromInstance in shortCutSolver
2018-06-22  Simon Peyton JonesInstances in no-evidence implications
2018-06-11  Simon Peyton JonesRemove duplicate quantified constraints
2018-06-04  Simon Peyton JonesImplement QuantifiedConstraints
2018-05-23  Simon Peyton JonesUse dischargeFunEq consistently
2018-05-21  Simon Peyton JonesMake dischargeFmv handle Deriveds
2018-05-21  Simon Peyton JonesDo better sharing in the short-cut solver
2018-05-18  Simon Peyton JonesDo not unify representational equalities
2018-05-18  Simon Peyton JonesComments only
2018-05-13  Ben GamariTcInteract: Ensure that tycons have representations...
2018-04-01  Richard EisenbergTrack type variable scope more carefully.
2018-03-26  Richard EisenbergFix #12919 by making the flattener homegeneous.
2018-02-08  Simon Peyton JonesFix isDroppableCt (Trac #14763)
2018-02-07  Simon Peyton JonesFix solveOneFromTheOther for RecursiveSuperclasses
2018-01-31  Simon Peyton JonesMore tc-tracing
2018-01-26  Joachim BreitnerTurn EvTerm (almost) into CoreExpr (#14691)
2017-12-21  Simon Peyton JonesRefactor coercion holes
2017-12-21  Simon Peyton JonesSimplify HsPatSynDetails
2017-12-19  Gabor GreifGet rid of some stuttering in comments and docs
2017-11-22  Ben GamariUpdate Hadrian
2017-11-15  Andrey MokhovPull recent Hadrian changes from upstream
2017-11-10  Ben GamariMerge commit '5229c43ccf77bcbffeced01dccb27398d017fa34'
2017-11-09  Ben GamariMerge initial Hadrian snapshot
2017-11-08  Simon Peyton JonesFix another dark corner in the shortcut solver
2017-11-06  Andrey MokhovMerge commit '7b0b9f603bb1215e2b7af23c2404d637b95a4988...
2017-10-30  Gabor GreifCatch a few more typos in comments
2017-10-20  Simon Peyton JonesImprove kick-out in the constraint solver
2017-10-18  Simon Peyton JonesBetter solving for representational equalities
2017-10-11  Simon Peyton JonesRemove wc_insol from WantedConstraints
2017-10-03  Simon Peyton JonesFix bug in the short-cut solver
2017-09-27  Gabor GreifTypofixes
2017-09-26  Ben GamariTcInteract: Remove redundant import of Typeable
2017-09-26  Simon Peyton JonesOmit Typeable from the "naturally coherent" list
2017-09-25  Simon Peyton JonesFix solving of implicit parameter constraints
2017-09-19  Herbert Valerio... compiler: introduce custom "GhcPrelude" Prelude
2017-08-15  Ryan ScottFix #14060 by more conservatively annotating TH-reified...
2017-07-26  Simon Peyton JonesComments and tc-tracing only
2017-05-26  Simon Peyton JonesRe-engineer Given flatten-skolems
2017-05-16  Simon Peyton JonesTiny refactor
2017-04-11  Gabor GreifTypos in comments [ci skip]
2017-03-31  Ben GamariClean up coreView/tcView.
2017-03-07  Gabor GreifTypos in changelog and comments
2017-02-18  Ben GamariType-indexed Typeable
2017-02-14  Adam GundryImplement HasField constraint solving and modify Overlo...
2017-02-08  Gabor GreifMore typos in comments [skip ci]
2017-02-02  Gabor GreifSpelling fixes
2017-01-31  Daniel HarajUse top-level instances to solve superclasses where...
2017-01-23  Simon Peyton JonesApply the right substitution in ty-fam improvement
2016-11-25  Simon Peyton JonesBe a bit more selective about improvement
2016-11-25  Simon Peyton JonesRefactor functional dependencies a bit
2016-11-25  Simon Peyton JonesAnother major constraint-solver refactoring
2016-11-21  Gabor GreifA few typos in comments
2016-11-13  Ben GamariKill Type pretty-printer
2016-10-21  Simon Peyton JonesDefine emitNewWantedEq, and use it
2016-10-10  Simon Peyton JonesOrient improvement constraints better
2016-09-30  Simon Peyton JonesFix a bug in occurs checking
2016-09-28  Gabor GreifComments and manual only: spelling
2016-07-20  Ben GamariTcInteract: Add braces to matchClassInst trace output
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
next