summaryrefslogtreecommitdiff
path: root/testsuite/tests/pmcheck
Commit message (Expand)AuthorAgeFilesLines
* 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