diff options
| author | Sebastian Graf <sgraf1337@gmail.com> | 2019-09-18 16:15:36 +0000 |
|---|---|---|
| committer | Sebastian Graf <sgraf1337@gmail.com> | 2019-09-21 14:56:58 +0100 |
| commit | a7867c7949b9dad95216ad5f2946be2cafcb860c (patch) | |
| tree | e003843a4bde0cfe143e583970b9646a1c58c283 /compiler/simplCore | |
| parent | ded96fb3ad540e0145483574b4a09bdcbe964c88 (diff) | |
| download | haskell-wip/pmcheck-nofake.tar.gz | |
Get rid of PmFakewip/pmcheck-nofake
The pattern match oracle can now cope with the abundance of information
that ViewPatterns, NPlusKPats, overloaded lists, etc. provide.
No need to have PmFake anymore!
Also got rid of a spurious call to `allCompleteMatches`, which we used to call
*for every constructor* match. Naturally this blows up quadratically for
programs like `ManyAlternatives`.
-------------------------
Metric Decrease:
ManyAlternatives
Metric Increase:
T11822
-------------------------
Diffstat (limited to 'compiler/simplCore')
0 files changed, 0 insertions, 0 deletions