summaryrefslogtreecommitdiff
path: root/compiler/deSugar/TmOracle.hs
Commit message (Expand)AuthorAgeFilesLines
* 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