Major patch to introduce TyConBinder
[ghc.git] / compiler / typecheck / TcUnify.hs
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/