Break up TcRnTypes, among other modules.
[ghc.git] / compiler / typecheck / TcSMonad.hs
2019-10-16  Richard EisenbergBreak up TcRnTypes, among other modules.
2019-10-12  Simon Peyton JonesDo not add a 'solved dict' for quantified constraints
2019-10-08  Ryan ScottMark newtype constructors as used in the Coercible...
2019-08-19  Richard LuptonRemove Bag fold specialisations (#16969)
2019-06-12  Krzysztof GogolewskiUse DeriveFunctor throughout the codebase (#15654)
2019-06-07  Simon Peyton JonesPreserve ShadowInfo when rewriting evidence
2019-03-15  Ryan ScottUpdate Trac ticket URLs to point to GitLab
2019-02-24  Simon Peyton JonesAdd AnonArgFlag to FunTy
2019-02-14  Simon Peyton JonesMake a smart mkAppTyM
2019-01-18  Herbert Valerio... Prepare source-tree for base-4.13 MFP bump
2018-11-29  Simon Peyton JonesTaming the Kind Inference Monster
2018-11-22  David EichmannFix unused-import warnings
2018-10-29  Tobias DammersFinish fix for #14880.
2018-10-24  Simon Peyton JonesRemove unnecessary free-var-set deletion
2018-10-23  Ben GamariAdd 'hadrian/' from commit '45f3bff7016a2a0cd9a5455a882...
2018-09-26  Simon Peyton JonesExpand the Note on let-bound skolems
2018-09-23  Simon Peyton JonesComments only
2018-07-24  Ryan ScottSuppress -Winaccessible-code in derived code
2018-07-05  Simon Peyton JonesRefactor validity checking for constraints
2018-07-04  Simon Peyton JonesFix comment
2018-06-22  Simon Peyton JonesRemove unnecessary call to checkReductionDepth
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 JonesOrient TyVar/TyVar equalities with deepest on the left
2018-05-05  klebinger.andreas... Split TrieMap into a general (TrieMap) and core specifi...
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-01-31  Simon Peyton JonesPrioritise equalities when solving, incl deriveds
2018-01-31  Simon Peyton JonesA bit more tc-tracing
2018-01-26  Joachim BreitnerTurn EvTerm (almost) into CoreExpr (#14691)
2018-01-17  Gabor GreifTypos in comments
2018-01-04  Simon Peyton JonesDrop dead Given bindings in setImplicationStatus
2017-12-21  Simon Peyton JonesFix floating of equalities
2017-12-21  Simon Peyton JonesRefactor coercion holes
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-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-09-27  Gabor GreifTypofixes
2017-09-26  Gabor GreifA bunch of typofixes
2017-09-25  Simon Peyton JonesFix solving of implicit parameter constraints
2017-09-19  Herbert Valerio... compiler: introduce custom "GhcPrelude" Prelude
2017-09-09  Herbert Valerio... Canonicalise MonoidFail instances in GHC
2017-08-31  Simon Peyton JonesAdd debugPprType
2017-08-01  Ryan ScottDrop GHC 7.10 compatibility
2017-07-26  Simon Peyton JonesComments and tc-tracing only
2017-07-20  Gabor GreifSpelling fixes
2017-06-28  Simon Peyton JonesFix constraint solving for forall-types
2017-06-20  Gabor GreifFix note reference [ci skip]
2017-05-26  Gabor GreifTypos in comments [ci skip]
2017-05-26  Simon Peyton JonesRe-engineer Given flatten-skolems
2017-05-19  Simon Peyton JonesEnsure that insolubles are fully rewritten
2017-05-03  Richard EisenbergFix #13333 by fixing the covar's type in ctEvCoercion
2017-04-29  Ben GamariPrefer #if defined to #ifdef
2017-04-05  Matthew PickeringReplace Digraph's Node type synonym with a data type
2017-03-01  David FeuerUpgrade UniqSet to a newtype
2017-02-20  Gabor GreifTypos in manual, tests and comments
2017-02-18  Ben GamariGeneralize kind of the (->) tycon
2017-02-14  Adam GundryImplement HasField constraint solving and modify Overlo...
2017-02-10  Simon Peyton JonesChange rewritableTyVarsOfType to anyRewritableTyVar
2017-02-10  Gabor GreifSpelling in comments [ci skip]
2017-02-09  Simon Peyton JonesGuard rewritableTyVarsOfType
2017-02-06  Gabor GreifTypos in comments [skip ci]
2017-02-03  Simon Peyton JonesUse tyCoVarsOfType for CTyEqCan in shouldSplitWD
2017-02-03  Sylvain HenryDitch static flags
2017-01-31  Daniel HarajUse top-level instances to solve superclasses where...
2017-01-25  Gabor GreifTypos in comments [ci skip]
2017-01-23  Simon Peyton JonesApply the right substitution in ty-fam improvement
2017-01-18  Gabor GreifSpelling fixes in comments [ci skip]
2017-01-18  Gabor GreifTypos in comments only [ci skip]
2016-12-12  Simon Peyton JonesRefactor pruning of implication constraints
2016-12-01  Gabor GreifTypos in comments
2016-11-28  Gabor GreifTypos in comments only [ci skip]
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-10-31  Gabor GreifTypos in comments
2016-10-27  Simon Peyton JonesCollect coercion variables, not type variables
2016-10-26  Matthew PickeringRemove -dtrace-level
2016-10-24  Simon Peyton JonesPrioritise class-level equality costraints
2016-10-21  Simon Peyton JonesDefine emitNewWantedEq, and use it
2016-10-21  Simon Peyton JonesA collection of type-inference refactorings.
2016-10-17  Simon Peyton JonesRe-add accidentally-deleted line
2016-10-17  Simon Peyton JonesReduce trace output slightly
2016-10-12  Simon Peyton JonesAdd derived shadows only for Wanted constraints
2016-09-30  Simon Peyton JonesA bit of tracing about flattening
2016-09-12  Simon Peyton JonesRemove unused exports
2016-09-12  Simon Peyton JonesBe less picky about reporing inaccessible code
2016-09-02  ggreifTypos in notes
2016-08-17  Simon Peyton JonesRefactor nestImplicTcS
next