summaryrefslogtreecommitdiff
path: root/testsuite/tests/pmcheck/should_compile/T12949.hs
Commit message (Expand)AuthorAgeFilesLines
* TmOracle: Replace negative term equalities by refutable PmAltConsSebastian Graf2019-06-071-0/+16