summaryrefslogtreecommitdiff
path: root/testsuite/tests/pmcheck
Commit message (Expand)AuthorAgeFilesLines
* Kill inaccessible-branch complaints in record updateSimon Peyton Jones2017-02-082-0/+26
* Don't return empty initial uncovered set for an unsat contextMatthew Pickering2017-02-053-0/+10
* Exhaustiveness check for EmptyCase (Trac #10746)George Karachalias2017-02-0223-0/+831
* COMPLETE pragmas for enhanced pattern exhaustiveness checkingMatthew Pickering2017-01-2628-1/+351
* Reduce default for -fmax-pmcheck-iterations from 1e7 to 2e6Herbert Valerio Riedel2016-04-101-0/+1
* Print which flag controls emitted desugaring warningsHerbert Valerio Riedel2016-02-278-16/+20
* Testsuite: delete empty files [skip ci]Thomas Miedema2016-02-2515-0/+0
* (Alternative way to) address #8710George Karachalias2016-02-253-7/+10
* Testsuite: delete compiler_lt/le/gt/ge setup functionsThomas Miedema2016-02-171-1/+1
* Testsuite: delete only_compiler_types, assume ghcThomas Miedema2016-02-161-22/+44
* Overhaul the Overhauled Pattern Match CheckerGeorge Karachalias2016-02-048-18/+294
* Avoid generating guards for CoPats if possible (Addresses #11276)George Karachalias2016-01-043-0/+106
* Test Trac #11245Simon Peyton Jones2015-12-313-0/+18
* T11303: Set maximum heap sizeBen Gamari2015-12-301-1/+1
* Add regression test for #11303Ben Gamari2015-12-292-2/+29
* tcCheckSatisfiability: less aggressive superclass expansionSimon Peyton Jones2015-12-181-0/+3
* Allow recursive (undecidable) superclassesSimon Peyton Jones2015-12-151-0/+1
* Rework the Implicit CallStack solver to handle local lets.Eric Seidel2015-12-121-39/+0
* testsuite: Rename pmcheck/T7669 to pmcheck/T7669aBen Gamari2015-12-043-1/+1
* Major Overhaul of Pattern Match Checking (Fixes #595)George Karachalias2015-12-0345-0/+531