Turn EvTerm (almost) into CoreExpr (#14691)
[ghc.git] / compiler / typecheck / TcMType.hs
2018-01-26  Joachim BreitnerTurn EvTerm (almost) into CoreExpr (#14691)
2018-01-09  Simon Peyton JonesFix two more bugs in partial signatures
2017-12-21  Simon Peyton JonesFix floating of equalities
2017-12-21  Simon Peyton JonesRefactor coercion holes
2017-12-15  Richard EisenbergAdd some commentary re: fix to #11203
2017-12-11  Simon Peyton JonesFix SigTvs at the kind level
2017-12-11  Simon Peyton JonesImproved panic message for zonkTcTyVarToTyVar
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-11  Simon Peyton JonesRemove wc_insol from WantedConstraints
2017-10-11  Simon Peyton JonesChange "cobox" to "co" in debug output
2017-09-25  Simon Peyton JonesDeal with large extra-contraints wildcards
2017-09-19  Herbert Valerio... compiler: introduce custom "GhcPrelude" Prelude
2017-09-15  Ben GamariFix name of note
2017-08-29  Simon Peyton JonesSmall refactoring of meta-tyvar cloning
2017-07-27  Richard EisenbergFix #13819 by refactoring TypeEqOrigin.uo_thing
2017-07-03  Gabor Greifrename tcInstBinder(s)X to tcInstBinder(s)
2017-05-26  Simon Peyton JonesRe-engineer Given flatten-skolems
2017-04-29  Ben GamariPrefer #if defined to #ifdef
2017-04-13  Simon Peyton JonesRemove dead quantifyTyVars
2017-04-06  Simon Peyton JonesYet another attempt at inferring the right quantification
2017-03-27  Simon Peyton JonesTypechecker comments and debug tracing only
2017-03-17  Richard EisenbergFix #13343 by not defaulting SigTvs
2017-03-10  Simon Peyton JonesImprove error messages for skolems
2017-03-10  Simon Peyton JonesFix TcSimplify.decideQuantification for kind variables
2017-03-01  David FeuerUpgrade UniqSet to a newtype
2017-02-12  Christiaan BaaijzonkCt tries to maintain the canonical form of a Ct.
2017-01-24  Ben Gamaritypecheck: Fix note
2017-01-19  Richard EisenbergUpdate levity polymorphism
2016-12-02  John LeoMaintain in-scope set in deeply_instantiate (fixes...
2016-11-29  Simon Peyton JonesZonk the free tvs of a RULE lhs to TyVars
2016-11-25  Simon Peyton JonesUse TyVars in PatSyns
2016-11-25  Simon Peyton JonesAnother major constraint-solver refactoring
2016-11-15  Gabor GreifTypos in comments, notes and manual
2016-11-13  Ben GamariKill Type pretty-printer
2016-11-02  Simon Peyton JonesUse substTyUnchecked in TcMType.new_meta_tv_x
2016-10-24  Simon Peyton JonesTake account of kinds in promoteTcType
2016-10-21  Simon Peyton JonesA collection of type-inference refactorings.
2016-06-15  Simon Peyton JonesMajor patch to introduce TyConBinder
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
2016-06-13  Simon Peyton JonesTidy up zonkQuantifiedTyVar
2016-06-13  Simon Peyton JonesImprove typechecking of let-bindings
2016-05-25  Gabor GreifSpelling in comments
2016-05-12  Bartosz NitkaDocument zonkTyCoVarsAndFV determinism
2016-05-10  Simon Peyton JonesRe-do the invariant for TcDepVars
2016-05-10  Edward Z. YangDocumentation for simplifyDeriv.
2016-04-29  Richard EisenbergRemove the incredibly hairy splitTelescopeTvs.
2016-04-26  Bartosz NitkaKill varSetElems try_tyvar_defaulting
2016-04-26  Bartosz NitkaKill varSetElemsWellScoped in quantifyTyVars
2016-04-22  Simon Peyton JonesSimplify defaultKindVar and friends
2016-04-19  Simon Peyton JonesRefactor computing dependent type vars
2016-03-31  Simon Peyton JonesMake SigSkol take TcType not ExpType
2016-03-31  Simon Peyton JonesSmall refactor of TcMType.tauifyExpType
2016-03-29  Bartosz NitkaUse a correct substitution in tcInstType
2016-03-21  Richard EisenbergZonk before calling splitDepVarsOfType.
2016-03-15  Richard EisenbergFix #11648.
2016-03-15  Richard EisenbergFix #11334.
2016-02-24  Richard EisenbergAddress #11471 by putting RuntimeRep in kinds.
2016-02-18  Simon Peyton Jones(Another) minor refactoring of substitutions
2016-02-17  Richard EisenbergFix #11313.
2016-02-12  Simon Peyton JonesMinor refactoring to tauifyMultipleMatches
2016-02-08  Simon Peyton JonesWhite space and comments only
2016-02-02  Ben GamariTcMType: Add some elementary notes
2016-01-27  Richard EisenbergRefactor the typechecker to use ExpTypes.
2016-01-27  Richard EisenbergFix some substitution InScopeSets
2016-01-26  Bartosz NitkaConstruct in_scope set in mkTopTCvSubst
2016-01-19  Bartosz NitkaCheck InScopeSet in substTy and provide substTyUnchecked
2016-01-18  Jan StolarekReplace calls to `ptext . sLit` with `text`
2016-01-07  Simon Peyton JonesTidy up tidySkolemInfo
2015-12-24  Richard EisenbergVisible type application
2015-12-22  Simon Peyton JonesFix typechecking for pattern synonym signatures
2015-12-15  Ben GamariExpose enabled language extensions to TH
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-03  George KarachaliasMajor Overhaul of Pattern Match Checking (Fixes #595)
2015-12-01  Simon Peyton JonesRefactor treatment of wildcards
2015-09-03  Jan StolarekInjective type families
2015-08-05  Simon Peyton JonesTidy up and refactor wildcard handling
2015-06-18  Simon Peyton JonesRemove some horrible munging of origins for Coercible
2015-05-22  Simon Peyton JonesFix quadratic behaviour in tidyOccName
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-22  Simon Peyton JonesComments only
2015-04-09  Simon Peyton JonesMake the evidence in a CtGiven into an EvId
2015-02-15  Simon Peyton JonesImprove typechecking of RULEs, to account for type...
2015-02-11  Richard EisenbergPropagate ReturnTvs in matchExpectedFunTys
2015-01-06  Simon Peyton JonesMajor patch to add -fwarn-redundant-constraints
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 JonesGet rid of TcMType.newWantedEvVar(s)
2014-12-03  Austin Seippcompiler: de-lhs typecheck/