Expose enabled language extensions to TH
[ghc.git] / compiler / typecheck / TcMType.hs
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/