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 /testsuite | |
| parent | ded96fb3ad540e0145483574b4a09bdcbe964c88 (diff) | |
| download | haskell-a7867c7949b9dad95216ad5f2946be2cafcb860c.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 'testsuite')
| -rw-r--r-- | testsuite/tests/pmcheck/should_compile/T11822.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/pmcheck/should_compile/T11822.stderr b/testsuite/tests/pmcheck/should_compile/T11822.stderr index c9e87c5deb..4d60fc368c 100644 --- a/testsuite/tests/pmcheck/should_compile/T11822.stderr +++ b/testsuite/tests/pmcheck/should_compile/T11822.stderr @@ -3,7 +3,7 @@ T11822.hs:33:1: warning: [-Wincomplete-patterns (in -Wextra)] Pattern match(es) are non-exhaustive In an equation for ‘mkTreeNode’: Patterns not matched: - _ (Data.Sequence.Internal.Seq _) _ _ + _ (Data.Sequence.Internal.Seq _) _ p where p is not one of {0} _ (Data.Sequence.Internal.Seq _) _ p where p is not one of {0} _ (Data.Sequence.Internal.Seq _) _ p where p is not one of {0} _ (Data.Sequence.Internal.Seq _) _ p where p is not one of {0} |