summaryrefslogtreecommitdiff
path: root/testsuite/tests/pmcheck/should_compile/T11336b.stderr
Commit message (Expand)AuthorAgeFilesLines
* Check EmptyCase by simply adding a non-void constraintwip/pmcheck-case-strictSebastian Graf2019-11-041-1/+1
* PmCheck: Look at precendence to give type signatures to some wildcardsSebastian Graf2019-09-271-1/+1
* Encode shape information in `PmOracle`Sebastian Graf2019-09-161-0/+4