diff options
| author | Alfredo Di Napoli <alfredo@well-typed.com> | 2021-01-19 09:42:13 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-01-22 15:00:47 -0500 |
| commit | c36a4f6389e5607b1608682c2fcdb0866cac31d0 (patch) | |
| tree | eb76e2665ea6a5b87caded5745edfab99e280cae /testsuite/tests/pmcheck/should_compile/T11822.stderr | |
| parent | a64f21e9f6bd949847d3c8fa1e427e5c763ccd7f (diff) | |
| download | haskell-c36a4f6389e5607b1608682c2fcdb0866cac31d0.tar.gz | |
Fix tests relying on same-line diagnostic ordering
This commit fixes 19 tests which were failing due to the use of
`consBag` / `snocBag`, which have been now replaced by `addMessage`.
This means that now GHC would output things in different order but
only for /diagnostics on the same line/, so this is just reflecting
that. The "normal" order of messages is still guaranteed.
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. + |