summaryrefslogtreecommitdiff
path: root/compiler/deSugar/TmOracle.hs
Commit message (Expand)AuthorAgeFilesLines
* Comments onlySimon Peyton Jones2018-03-271-0/+4
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Eliminate ListSetOps from imp_trust_pkgsDavid Feuer2017-03-021-7/+7
* COMPLETE pragmas for enhanced pattern exhaustiveness checkingMatthew Pickering2017-01-261-7/+6
* Overhaul the Overhauled Pattern Match CheckerGeorge Karachalias2016-02-041-10/+24
* pmcheck: Comments about undecidability of literal equalityGeorge Karachalias2015-12-051-0/+2
* pmcheck: Comments about term equality representationGeorge Karachalias2015-12-051-1/+2
* Remove unused import in deSugar/TmOracle.hsGeorge Karachalias2015-12-041-1/+0
* Improve performance for PM check on literals (Fixes #11160 and #11161)George Karachalias2015-12-041-230/+17
* Major Overhaul of Pattern Match Checking (Fixes #595)George Karachalias2015-12-031-0/+455