From c36a4f6389e5607b1608682c2fcdb0866cac31d0 Mon Sep 17 00:00:00 2001 From: Alfredo Di Napoli Date: Tue, 19 Jan 2021 09:42:13 +0100 Subject: 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. --- testsuite/tests/pmcheck/should_compile/T11822.stderr | 15 ++++++++------- 1 file changed, 8 insertions(+), 7 deletions(-) (limited to 'testsuite/tests/pmcheck/should_compile/T11822.stderr') 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. + -- cgit v1.2.1