Guard rewritableTyVarsOfType
[ghc.git] / compiler / typecheck / TcSMonad.hs
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
2016-08-17  Simon Peyton JonesKeep the bindings local during defaultCallStacks
2016-06-28  Simon Peyton JonesDeal correctly with unused imports for 'coerce'
2016-06-23  Bartosz NitkaProvide Uniquable version of SCC
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-05-11  Bartosz NitkaDocument SCC determinism
2016-05-10  Bartosz NitkaFix typos
2016-05-04  Bartosz NitkaKill non-deterministic foldUFM in TrieMap and TcAppMap
2016-04-26  Bartosz NitkaKill varSetElems try_tyvar_defaulting
2016-02-25  Michael WalkerPrint which warning-flag controls an emitted warning
2016-02-24  Richard EisenbergAddress #11471 by putting RuntimeRep in kinds.
2016-02-18  Simon Peyton Jones(Another) minor refactoring of substitutions
2016-02-11  Gabor GreifAnother batch of typo fixes in non-code
2016-02-08  Simon Peyton JonesFix a nasty superclass expansion bug
2016-02-08  Simon Peyton JonesImprove error messages for recursive superclasses
2016-02-08  Simon Peyton JonesImprove tracing in TcInteract
2016-01-30  Bartosz NitkaAdd asserts to other substitution functions
2016-01-27  Gabor GreifTypos in comments
2016-01-25  Simon Peyton JonesSpecial-case implicit params in superclass expansion
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  Simon Peyton JonesTypo in comment
2016-01-18  Simon Peyton JonesImprove debug printing/warnings
2016-01-16  Simon Peyton JonesFix a number of subtle solver bugs
2016-01-07  Simon Peyton JonesTidy up tidySkolemInfo
2015-12-31  Herbert Valerio... Remove some redundant definitions/constraints
2015-12-15  Simon Peyton JonesAllow recursive (undecidable) superclasses
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-09  Gabor GreifMore typos in comments/docs
2015-12-04  Simon Peyton JonesComments only
2015-12-03  George KarachaliasMajor Overhaul of Pattern Match Checking (Fixes #595)
2015-12-02  Simon Peyton JonesComments (TcSMonad)
2015-12-01  Simon Peyton JonesRefactor treatment of wildcards
2015-11-24  Simon Peyton JonesComments only
2015-11-17  David LuposchainskyMonadFail proposal, phase 1
2015-10-30  Simon Peyton JonesRecord usage information using GlobalRdrElt
2015-10-17  Herbert Valerio... Make Monad/Applicative instances MRP-friendly
2015-09-11  Simon Peyton JonesA CFunEqCan can be Derived
2015-09-03  Jan StolarekInjective type families
2015-08-07  Simon Peyton JonesComments only
2015-08-05  Simon Peyton JonesTidy up and refactor wildcard handling
2015-07-15  Richard EisenbergFix #10642.
2015-07-06  Gabor GreifSpelling in comments
2015-06-28  Ben GamariAdd -fcross-module-specialise flag
2015-06-26  Simon Peyton JonesTreat out-of-scope variables as holes
2015-06-21  Iavor S. DiatchkiChange `Typeable` instance for type-lis to use the...
2015-06-18  Simon Peyton JonesA bit more tracing
2015-06-18  Simon Peyton JonesRename getCtLoc, setCtLoc
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  Adam GundryAdd constraint creation functions to TcPluginM API
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-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-01-09  Edward Z. YangNewtype CoreMap and TypeMap so their keys are user...
2015-01-08  Edward Z. YangAdd 'DeBruijn' constructor, which generalizes "key...
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-31  Simon Peyton JonesEliminate the final two calls to xCtEvidence
2014-12-30  Simon Peyton JonesComments only, mainly on superclasses
2014-12-23  Simon Peyton JonesEliminate so-called "silent superclass parameters"
2014-12-18  Adam GundryAmend TcPluginM interface
2014-12-12  Richard EisenbergFlat constraint --> Simple constraint
next