Merge remote-tracking branch 'github/pr/83'
[ghc.git] / compiler / deSugar / TmOracle.hs
2017-09-19  Herbert Valerio... compiler: introduce custom "GhcPrelude" Prelude
2017-03-02  David FeuerEliminate ListSetOps from imp_trust_pkgs
2017-01-26  Matthew PickeringCOMPLETE pragmas for enhanced pattern exhaustiveness...
2016-02-04  George KarachaliasOverhaul the Overhauled Pattern Match Checker
2015-12-05  George Karachaliaspmcheck: Comments about undecidability of literal equality
2015-12-05  George Karachaliaspmcheck: Comments about term equality representation
2015-12-04  George KarachaliasRemove unused import in deSugar/TmOracle.hs
2015-12-04  George KarachaliasImprove performance for PM check on literals (Fixes...
2015-12-03  George KarachaliasMajor Overhaul of Pattern Match Checking (Fixes #595)