Do not use defaulting in ambiguity check
[ghc.git] / compiler / deSugar / DsBinds.hs
2016-04-15  Bartosz NitkaKill some unnecessary varSetElems
2016-03-23  Simon Peyton JonesMove DFunUnfolding generation to TcInstDcls
2016-02-27  Herbert Valerio... Print which flag controls emitted desugaring warnings
2016-02-26  Simon Peyton JonesSpecial case for desugaring AbsBinds
2016-02-26  Simon Peyton JonesFix and refactor strict pattern bindings
2016-02-24  Richard EisenbergAddress #11471 by putting RuntimeRep in kinds.
2016-02-12  Simon Peyton JonesSimplify AbsBinds wrapping
2016-01-18  Jan StolarekReplace calls to `ptext . sLit` with `text`
2016-01-15  Richard EisenbergFix #11405.
2015-12-24  Richard EisenbergVisible type application
2015-12-23  Eric SeidelAllow CallStacks to be frozen
2015-12-15  Ben GamariExpose enabled language extensions to TH
2015-12-12  Eric SeidelRework the Implicit CallStack solver to handle local...
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/