Add kind equalities to GHC.
[ghc.git] / compiler / deSugar / DsBinds.hs
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-08  Gabor GreifAn assortment of typos
2015-12-03  George KarachaliasMajor Overhaul of Pattern Match Checking (Fixes #595)
2015-12-01  Simon Peyton JonesRefactor treatment of wildcards
2015-11-14  Adam Sandberg ErikssonImplement the Strict language extension
2015-11-11  Alan ZimmermanRemove fun_infix from Funbind, as it is now in Match
2015-10-30  Ben GamariGenerate Typeable info at definition sites
2015-10-29  Ben GamariRevert "Generate Typeable info at definition sites"
2015-10-29  Ben GamariGenerate Typeable info at definition sites
2015-10-15  Edward Z. YangRename package key to unit ID, and installed package...
2015-10-08  Edward Z. YangMove orphan instance/rule warnings to typechecker/desug...
2015-09-23  Ben GamariDsBinds: Avoid using String when desugaring CallStack...
2015-09-22  Eric Seidelbase: use Show for ErrorCall in uncaughtExceptionHandler
2015-08-05  Simon Peyton JonesDo not complain about SPECIALISE for INLINE
2015-07-30  Simon Peyton JonesDefine DsUtils.mkCastDs and use it
2015-07-07  David KraeutmannDeferred type errors now throw TypeError (#10284)
2015-06-28  Ben GamariAdd -fcross-module-specialise flag
2015-06-21  Iavor S. DiatchkiChange `Typeable` instance for type-lis to use the...
2015-06-20  Edward Z. YangFilter orphan rules based on imports, fixes #10294...
2015-05-22  Simon Peyton JonesReduce magic for seqId
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 JonesFix superclass generation in an instance
2015-04-16  Iavor S. DiatchkiFixes (hopefully!) T9858
2015-04-09  Simon Peyton JonesMake the evidence in a CtGiven into an EvId
2015-04-07  Simon Peyton JonesDo not quantify over the function itself in a RULE
2015-03-19  Iavor S. DiatchkiRemove unused parameter to `EvTypeableTyCon`
2015-03-07  Iavor S. DiatchkiCustom `Typeable` solver, that keeps track of kinds.
2015-01-19  Eric SeidelExpose source locations via Implicit Parameters of...
2015-01-14  Simon Peyton JonesRefactor handling of SPECIALISE pragmas (Trac #5821)
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-18  Iavor S. DiatchkiAdd a provenance field to universal coercions.
2014-12-12  Richard EisenbergRewrite `Coercible` solver
2014-12-03  Austin Seippcompiler: de-lhs deSugar/