summaryrefslogtreecommitdiff
path: root/testsuite/tests/pmcheck/complete_sigs
Commit message (Expand)AuthorAgeFilesLines
* Check EmptyCase by simply adding a non-void constraintSebastian Graf2019-11-054-3/+30
* Encode shape information in `PmOracle`Sebastian Graf2019-09-1622-4/+273
* Embrace -XTypeInType, add -XStarIsTypeVladislav Zavialov2018-06-141-1/+1
* Fix a bad interaction between GADTs and COMPLETE setsRyan Scott2018-06-023-0/+32
* testsuite: Add testcase for #14253Ben Gamari2017-09-212-0/+40
* Typos in comments [ci skip]Gabor Greif2017-04-111-1/+1
* testsuite: Add comment clarifying intention of completesig04Ben Gamari2017-03-032-1/+2
* Update test completesig04Reid Barton2017-03-032-6/+6
* testsuite: Fix output due to recent COMPLETE changesBen Gamari2017-03-031-1/+3
* COMPLETE pragmas for enhanced pattern exhaustiveness checkingMatthew Pickering2017-01-2627-0/+350