summaryrefslogtreecommitdiff
path: root/testsuite/tests/pmcheck/complete_sigs/T13717.hs
Commit message (Expand)AuthorAgeFilesLines
* Encode shape information in `PmOracle`Sebastian Graf2019-09-161-0/+41