Typos in comments and manual [ci skip]
[ghc.git] / compiler / typecheck / TcUnify.hs
2017-06-28  Gabor GreifTypos in comments and manual [ci skip]
2017-06-05  Alan ZimmermanUdate hsSyn AST to use Trees that Grow
2017-06-02  Ryan ScottUse lengthIs and friends in more places
2017-05-26  Gabor GreifTypos in comments [ci skip]
2017-05-26  Simon Peyton JonesRe-engineer Given flatten-skolems
2017-05-25  Simon Peyton JonesPattern synonyms and higher rank types
2017-04-28  Simon Peyton JonesA bit more tcTrace
2017-03-31  Ben GamariClean up coreView/tcView.
2017-03-27  Simon Peyton JonesTypechecker comments and debug tracing only
2017-03-10  Simon Peyton JonesImprove error messages for skolems
2017-02-18  Ben GamariGeneralize kind of the (->) tycon
2017-02-14  Ben GamariTcUnify: Assert precondition of matchExpectedTyConApp
2017-01-19  Richard EisenbergUpdate levity polymorphism
2016-12-12  Simon Peyton JonesRefactor pruning of implication constraints
2016-11-25  Simon Peyton JonesA tiny bit more tc tracing
2016-11-25  Simon Peyton JonesAllow TyVars in TcTypes
2016-11-25  Simon Peyton JonesAnother major constraint-solver refactoring
2016-11-15  Gabor GreifTypos in comments, notes and manual
2016-10-24  Simon Peyton JonesTake account of kinds in promoteTcType
2016-10-21  Simon Peyton JonesRefactor occurrence-check logic
2016-10-21  Simon Peyton JonesA collection of type-inference refactorings.
2016-09-30  Simon Peyton JonesFix impredicativity (again)
2016-09-30  Simon Peyton JonesFix a bug in occurs checking
2016-06-15  Simon Peyton JonesMajor patch to introduce TyConBinder
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
2016-04-28  Simon Peyton JonesRemove unused unifyType_
2016-03-31  Simon Peyton JonesMake SigSkol take TcType not ExpType
2016-03-21  Richard EisenbergPrevent eager unification with type families.
2016-03-16  Richard EisenbergFix printing of "kind" vs. "type"
2016-03-15  Richard EisenbergAllow eager unification with type families.
2016-03-15  Richard EisenbergFix #11407.
2016-02-24  Richard EisenbergAddress #11471 by putting RuntimeRep in kinds.
2016-02-08  Simon Peyton JonesRemove unused export from TcUnify
2016-01-27  Richard EisenbergRefactor the typechecker to use ExpTypes.
2016-01-18  Jan StolarekReplace calls to `ptext . sLit` with `text`
2016-01-15  Richard EisenbergTiny refactoring in TcUnify
2015-12-30  Richard EisenbergFix #11305.
2015-12-24  Richard EisenbergVisible type application
2015-12-22  Simon Peyton JonesFix typechecking for pattern synonym signatures
2015-12-16  Richard EisenbergNote [The equality types story] in TysPrim
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-07  Ömer Sinan AğacanGet rid of tcView altogether
2015-12-01  Simon Peyton JonesRefactor treatment of wildcards
2015-10-27  Simon Peyton JonesZonk properly when checkig pattern synonyms
2015-10-05  Gabor GreifA few typos in comments
2015-06-28  Ben GamariAdd -fcross-module-specialise flag
2015-06-26  Simon Peyton JonesUse a Representaional coercion for data families
2015-06-18  Simon Peyton JonesRename getCtLoc, setCtLoc
2015-06-16  Richard EisenbergRefactor handling of decomposition.
2015-04-07  Simon Peyton JonesLook inside synonyms for foralls when unifying
2015-03-04  Simon Peyton JonesCheck for equality before deferring
2015-02-12  Simon Peyton JonesComments and white space; plus structurally avoiding...
2015-02-11  Richard EisenbergPropagate ReturnTvs in matchExpectedFunTys
2015-02-11  Richard EisenbergFix egregious typo in checkTauTvUpdate.
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-10  Yuras Shumovichfix misleading error message regarding function arity
2014-12-03  Austin Seippcompiler: de-lhs typecheck/