summaryrefslogtreecommitdiff
path: root/compiler/deSugar/PmExpr.hs
Commit message (Expand)AuthorAgeFilesLines
* Extract PmTypes module from PmExpr and PmOracleSebastian Graf2019-09-191-364/+0
* Encode shape information in `PmOracle`Sebastian Graf2019-09-161-183/+267
* TmOracle: Replace negative term equalities by refutable PmAltConsSebastian Graf2019-06-071-237/+51
* [TTG: Handling Source Locations] Foundation and PatShayan-Najd2018-11-241-4/+5
* More explicit foralls (GHC Proposal 0007)Matthew Yacavone2018-10-271-1/+1
* Improve exhaustiveness checking for literal values and patterns, fix #14546HE, Tao2018-06-031-7/+28
* vectorise: Put it out of its miseryBen Gamari2018-06-021-9/+3
* Restore Trees That Grow reverted commitsAlan Zimmerman2018-04-091-20/+19
* Revert "trees that grow" workBen Gamari2017-11-211-19/+20
* TTG3 Combined Step 1 and 3 for Trees That GrowAlan Zimmerman2017-11-141-1/+1
* WIP on combined Step 1 and 3 for Trees That Grow, HsExprAlan Zimmerman2017-11-111-19/+18
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Udate hsSyn AST to use Trees that GrowAlan Zimmerman2017-06-061-6/+6
* 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
View Lorry Controller Status