diff options
Diffstat (limited to 'testsuite/tests/pmcheck/should_compile/T11822.stderr')
| -rw-r--r-- | testsuite/tests/pmcheck/should_compile/T11822.stderr | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/testsuite/tests/pmcheck/should_compile/T11822.stderr b/testsuite/tests/pmcheck/should_compile/T11822.stderr index e7472626bf..8ad52e6de4 100644 --- a/testsuite/tests/pmcheck/should_compile/T11822.stderr +++ b/testsuite/tests/pmcheck/should_compile/T11822.stderr @@ -1,11 +1,4 @@ -T11822.hs:33:1: warning: - Pattern match checker ran into -fmax-pmcheck-models=30 limit, so - • Redundant clauses might not be reported at all - • Redundant clauses might be reported as inaccessible - • Patterns reported as unmatched might actually be matched - Increase the limit or resolve the warnings to suppress this message. - T11822.hs:33:1: warning: [-Wincomplete-patterns (in -Wextra)] Pattern match(es) are non-exhaustive In an equation for ‘mkTreeNode’: @@ -20,3 +13,11 @@ T11822.hs:33:1: warning: [-Wincomplete-patterns (in -Wextra)] _ (Data.Sequence.Internal.Seq (Data.Sequence.Internal.Single _)) Data.Set.Internal.Tip (Depth _) ... + +T11822.hs:33:1: warning: + Pattern match checker ran into -fmax-pmcheck-models=30 limit, so + • Redundant clauses might not be reported at all + • Redundant clauses might be reported as inaccessible + • Patterns reported as unmatched might actually be matched + Increase the limit or resolve the warnings to suppress this message. + |