summaryrefslogtreecommitdiff
path: root/compiler/deSugar/PmExpr.hs
Commit message (Expand)AuthorAgeFilesLines
* COMPLETE pragmas for enhanced pattern exhaustiveness checkingMatthew Pickering2017-01-261-24/+33
* Update levity polymorphismRichard Eisenberg2017-01-191-0/+2
* Spelling fixes in comments [ci skip]Gabor Greif2017-01-181-1/+1
* Overhaul the Overhauled Pattern Match CheckerGeorge Karachalias2016-02-041-13/+18
* Refactor the typechecker to use ExpTypes.Richard Eisenberg2016-01-271-1/+4
* Replace calls to `ptext . sLit` with `text`Jan Stolarek2016-01-181-3/+2
* Work SourceText in for all integer literalsAlan Zimmerman2016-01-161-1/+1
* Drop pre-AMP compatibility CPP conditionalsHerbert Valerio Riedel2015-12-311-3/+0
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-0/+2
* pmcheck: Comments about undecidability of literal equalityGeorge Karachalias2015-12-051-7/+68
* PmExpr: Fix CPP unacceptable too clang's CPPBen Gamari2015-12-041-1/+1
* Improve performance for PM check on literals (Fixes #11160 and #11161)George Karachalias2015-12-041-15/+9
* Major Overhaul of Pattern Match Checking (Fixes #595)George Karachalias2015-12-031-0/+377