Zonk before calling splitDepVarsOfType.
[ghc.git] / compiler / typecheck / TcMType.hs
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/