From a7867c7949b9dad95216ad5f2946be2cafcb860c Mon Sep 17 00:00:00 2001 From: Sebastian Graf Date: Wed, 18 Sep 2019 16:15:36 +0000 Subject: Get rid of PmFake 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 ------------------------- --- testsuite/tests/pmcheck/should_compile/T11822.stderr | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'testsuite') 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} -- cgit v1.2.1