Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Avoid generating guards for CoPats if possible (Addresses #11276) | George Karachalias | 2016-01-04 | 3 | -0/+106 |
* | Test Trac #11245 | Simon Peyton Jones | 2015-12-31 | 3 | -0/+18 |
* | T11303: Set maximum heap size | Ben Gamari | 2015-12-30 | 1 | -1/+1 |
* | Add regression test for #11303 | Ben Gamari | 2015-12-29 | 2 | -2/+29 |
* | tcCheckSatisfiability: less aggressive superclass expansion | Simon Peyton Jones | 2015-12-18 | 1 | -0/+3 |
* | Allow recursive (undecidable) superclasses | Simon Peyton Jones | 2015-12-15 | 1 | -0/+1 |
* | Rework the Implicit CallStack solver to handle local lets. | Eric Seidel | 2015-12-12 | 1 | -39/+0 |
* | testsuite: Rename pmcheck/T7669 to pmcheck/T7669a | Ben Gamari | 2015-12-04 | 3 | -1/+1 |
* | Major Overhaul of Pattern Match Checking (Fixes #595) | George Karachalias | 2015-12-03 | 45 | -0/+531 |