Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Check EmptyCase by simply adding a non-void constraint | Sebastian Graf | 2019-11-05 | 4 | -3/+30 |
* | Encode shape information in `PmOracle` | Sebastian Graf | 2019-09-16 | 22 | -4/+273 |
* | Embrace -XTypeInType, add -XStarIsType | Vladislav Zavialov | 2018-06-14 | 1 | -1/+1 |
* | Fix a bad interaction between GADTs and COMPLETE sets | Ryan Scott | 2018-06-02 | 3 | -0/+32 |
* | testsuite: Add testcase for #14253 | Ben Gamari | 2017-09-21 | 2 | -0/+40 |
* | Typos in comments [ci skip] | Gabor Greif | 2017-04-11 | 1 | -1/+1 |
* | testsuite: Add comment clarifying intention of completesig04 | Ben Gamari | 2017-03-03 | 2 | -1/+2 |
* | Update test completesig04 | Reid Barton | 2017-03-03 | 2 | -6/+6 |
* | testsuite: Fix output due to recent COMPLETE changes | Ben Gamari | 2017-03-03 | 1 | -1/+3 |
* | COMPLETE pragmas for enhanced pattern exhaustiveness checking | Matthew Pickering | 2017-01-26 | 27 | -0/+350 |