diff options
Diffstat (limited to 'testsuite/tests')
39 files changed, 96 insertions, 96 deletions
diff --git a/testsuite/tests/deSugar/should_compile/DsStrictWarn.stderr b/testsuite/tests/deSugar/should_compile/DsStrictWarn.stderr index 974e51c38c..e5de14fda8 100644 --- a/testsuite/tests/deSugar/should_compile/DsStrictWarn.stderr +++ b/testsuite/tests/deSugar/should_compile/DsStrictWarn.stderr @@ -1,4 +1,4 @@ -DsStrictWarn.hs:7:11: warning: +DsStrictWarn.hs:7:11: warning: [-Wincomplete-uni-patterns] Pattern match(es) are non-exhaustive In a pattern binding: Patterns not matched: [] diff --git a/testsuite/tests/deSugar/should_compile/GadtOverlap.stderr b/testsuite/tests/deSugar/should_compile/GadtOverlap.stderr index 4e3f1c17f1..02f091ee36 100644 --- a/testsuite/tests/deSugar/should_compile/GadtOverlap.stderr +++ b/testsuite/tests/deSugar/should_compile/GadtOverlap.stderr @@ -1,4 +1,4 @@ -GadtOverlap.hs:19:1: Warning: +GadtOverlap.hs:19:1: warning: [-Wincomplete-patterns (in -Wextra)] Pattern match(es) are non-exhaustive In an equation for ‘h’: Patterns not matched: T3 diff --git a/testsuite/tests/deSugar/should_compile/T10662.stderr b/testsuite/tests/deSugar/should_compile/T10662.stderr index ef93dc3e82..d81891619c 100644 --- a/testsuite/tests/deSugar/should_compile/T10662.stderr +++ b/testsuite/tests/deSugar/should_compile/T10662.stderr @@ -1,6 +1,5 @@ -T10662.hs:3:3: warning: +T10662.hs:3:3: warning: [-Wunused-do-bind (in -Wall)] A do-notation statement discarded a result of type ‘[Char]’ Suppress this warning by saying ‘_ <- ($) return let a = "hello" in a’ - or by using the flag -fno-warn-unused-do-bind diff --git a/testsuite/tests/deSugar/should_compile/T2395.stderr b/testsuite/tests/deSugar/should_compile/T2395.stderr index fe6498d790..d0e8494150 100644 --- a/testsuite/tests/deSugar/should_compile/T2395.stderr +++ b/testsuite/tests/deSugar/should_compile/T2395.stderr @@ -1,4 +1,4 @@ -T2395.hs:13:1: warning: +T2395.hs:13:1: warning: [-Woverlapping-patterns (in -Wdefault)] Pattern match is redundant In an equation for ‘bar’: bar _ = ... diff --git a/testsuite/tests/deSugar/should_compile/T3263-1.stderr b/testsuite/tests/deSugar/should_compile/T3263-1.stderr index b792f1a887..a50f8933aa 100644 --- a/testsuite/tests/deSugar/should_compile/T3263-1.stderr +++ b/testsuite/tests/deSugar/should_compile/T3263-1.stderr @@ -1,10 +1,8 @@ -T3263-1.hs:25:3: Warning: +T3263-1.hs:25:3: warning: [-Wunused-do-bind (in -Wall)] A do-notation statement discarded a result of type ‘Int’ Suppress this warning by saying ‘_ <- nonNullM’ - or by using the flag -fno-warn-unused-do-bind -T3263-1.hs:35:3: Warning: +T3263-1.hs:35:3: warning: [-Wunused-do-bind (in -Wall)] A do-notation statement discarded a result of type ‘Int’ Suppress this warning by saying ‘_ <- nonNullM’ - or by using the flag -fno-warn-unused-do-bind diff --git a/testsuite/tests/deSugar/should_compile/T3263-2.stderr b/testsuite/tests/deSugar/should_compile/T3263-2.stderr index 1665d722d5..83de241f50 100644 --- a/testsuite/tests/deSugar/should_compile/T3263-2.stderr +++ b/testsuite/tests/deSugar/should_compile/T3263-2.stderr @@ -1,10 +1,8 @@ -T3263-2.hs:25:3: Warning: +T3263-2.hs:25:3: warning: [-Wwrong-do-bind (in -Wdefault)] A do-notation statement discarded a result of type ‘m Int’ Suppress this warning by saying ‘_ <- return (return 10 :: m Int)’ - or by using the flag -fno-warn-wrong-do-bind -T3263-2.hs:37:3: Warning: +T3263-2.hs:37:3: warning: [-Wwrong-do-bind (in -Wdefault)] A do-notation statement discarded a result of type ‘m Int’ Suppress this warning by saying ‘_ <- return (return 10 :: m Int)’ - or by using the flag -fno-warn-wrong-do-bind diff --git a/testsuite/tests/deSugar/should_compile/T4488.stderr b/testsuite/tests/deSugar/should_compile/T4488.stderr index f3a70cd586..3983514296 100644 --- a/testsuite/tests/deSugar/should_compile/T4488.stderr +++ b/testsuite/tests/deSugar/should_compile/T4488.stderr @@ -1,20 +1,16 @@ -T4488.hs:11:11: Warning: +T4488.hs:11:11: warning: [-Widentities] Call of fromIntegral :: Int -> Int can probably be omitted - (Use -fno-warn-identities to suppress this message) -T4488.hs:17:11: Warning: +T4488.hs:17:11: warning: [-Widentities] Call of toInteger :: Integer -> Integer can probably be omitted - (Use -fno-warn-identities to suppress this message) -T4488.hs:23:11: Warning: +T4488.hs:23:11: warning: [-Widentities] Call of toRational :: Rational -> Rational can probably be omitted - (Use -fno-warn-identities to suppress this message) -T4488.hs:29:11: Warning: +T4488.hs:29:11: warning: [-Widentities] Call of realToFrac :: Float -> Float can probably be omitted - (Use -fno-warn-identities to suppress this message) diff --git a/testsuite/tests/deSugar/should_compile/T5117.stderr b/testsuite/tests/deSugar/should_compile/T5117.stderr index 6ef44c81a3..1d66704a05 100644 --- a/testsuite/tests/deSugar/should_compile/T5117.stderr +++ b/testsuite/tests/deSugar/should_compile/T5117.stderr @@ -1,4 +1,4 @@ -T5117.hs:16:1: warning: +T5117.hs:16:1: warning: [-Woverlapping-patterns (in -Wdefault)] Pattern match is redundant In an equation for ‘f3’: f3 (MyString "a") = ... diff --git a/testsuite/tests/deSugar/should_compile/T5455.stderr b/testsuite/tests/deSugar/should_compile/T5455.stderr index e4214ae0a8..9c43612cca 100644 --- a/testsuite/tests/deSugar/should_compile/T5455.stderr +++ b/testsuite/tests/deSugar/should_compile/T5455.stderr @@ -1,8 +1,8 @@ -T5455.hs:8:11: warning: +T5455.hs:8:11: warning: [-Wincomplete-uni-patterns] Pattern match(es) are non-exhaustive In a pattern binding: Patterns not matched: [] -T5455.hs:13:13: warning: +T5455.hs:13:13: warning: [-Wincomplete-uni-patterns] Pattern match(es) are non-exhaustive In a pattern binding: Patterns not matched: [] diff --git a/testsuite/tests/deSugar/should_compile/ds002.stderr b/testsuite/tests/deSugar/should_compile/ds002.stderr index c48e532621..20705a351b 100644 --- a/testsuite/tests/deSugar/should_compile/ds002.stderr +++ b/testsuite/tests/deSugar/should_compile/ds002.stderr @@ -1,12 +1,12 @@ -ds002.hs:8:1: warning: +ds002.hs:8:1: warning: [-Woverlapping-patterns (in -Wdefault)] Pattern match is redundant In an equation for ‘f’: f y = ... -ds002.hs:9:1: warning: +ds002.hs:9:1: warning: [-Woverlapping-patterns (in -Wdefault)] Pattern match is redundant In an equation for ‘f’: f z = ... -ds002.hs:14:1: warning: +ds002.hs:14:1: warning: [-Woverlapping-patterns (in -Wdefault)] Pattern match is redundant In an equation for ‘g’: g x y z = ... diff --git a/testsuite/tests/deSugar/should_compile/ds003.stderr b/testsuite/tests/deSugar/should_compile/ds003.stderr index 4851f56b71..b54ea19049 100644 --- a/testsuite/tests/deSugar/should_compile/ds003.stderr +++ b/testsuite/tests/deSugar/should_compile/ds003.stderr @@ -1,8 +1,8 @@ -ds003.hs:7:1: warning: +ds003.hs:7:1: warning: [-Woverlapping-patterns (in -Wdefault)] Pattern match is redundant In an equation for ‘f’: f (x : x1 : x2 : x3) ~(y, ys) z = ... -ds003.hs:8:1: warning: +ds003.hs:8:1: warning: [-Woverlapping-patterns (in -Wdefault)] Pattern match is redundant In an equation for ‘f’: f x y True = ... diff --git a/testsuite/tests/deSugar/should_compile/ds019.stderr b/testsuite/tests/deSugar/should_compile/ds019.stderr index 1761ad9606..67390d49e3 100644 --- a/testsuite/tests/deSugar/should_compile/ds019.stderr +++ b/testsuite/tests/deSugar/should_compile/ds019.stderr @@ -1,12 +1,12 @@ -ds019.hs:6:1: warning: +ds019.hs:6:1: warning: [-Woverlapping-patterns (in -Wdefault)] Pattern match is redundant In an equation for ‘f’: f d (j, k) p = ... -ds019.hs:7:1: warning: +ds019.hs:7:1: warning: [-Woverlapping-patterns (in -Wdefault)] Pattern match is redundant In an equation for ‘f’: f (e, f, g) l q = ... -ds019.hs:8:1: warning: +ds019.hs:8:1: warning: [-Woverlapping-patterns (in -Wdefault)] Pattern match is redundant In an equation for ‘f’: f h (m, n) r = ... diff --git a/testsuite/tests/deSugar/should_compile/ds020.stderr b/testsuite/tests/deSugar/should_compile/ds020.stderr index 85abaa4e2a..e046f327f9 100644 --- a/testsuite/tests/deSugar/should_compile/ds020.stderr +++ b/testsuite/tests/deSugar/should_compile/ds020.stderr @@ -1,20 +1,20 @@ -ds020.hs:9:1: warning: +ds020.hs:9:1: warning: [-Woverlapping-patterns (in -Wdefault)] Pattern match is redundant In an equation for ‘a’: a ~(~[], ~[], ~[]) = ... -ds020.hs:12:1: warning: +ds020.hs:12:1: warning: [-Woverlapping-patterns (in -Wdefault)] Pattern match is redundant In an equation for ‘b’: b ~(~x : ~xs : ~ys) = ... -ds020.hs:19:1: warning: +ds020.hs:19:1: warning: [-Woverlapping-patterns (in -Wdefault)] Pattern match is redundant In an equation for ‘d’: d ~(n+43) = ... -ds020.hs:20:1: warning: +ds020.hs:20:1: warning: [-Woverlapping-patterns (in -Wdefault)] Pattern match is redundant In an equation for ‘d’: d ~(n+999) = ... -ds020.hs:23:1: warning: +ds020.hs:23:1: warning: [-Woverlapping-patterns (in -Wdefault)] Pattern match is redundant In an equation for ‘f’: f x@(~[]) = ... diff --git a/testsuite/tests/deSugar/should_compile/ds022.stderr b/testsuite/tests/deSugar/should_compile/ds022.stderr index b5c33bfd5d..81b6de9fb1 100644 --- a/testsuite/tests/deSugar/should_compile/ds022.stderr +++ b/testsuite/tests/deSugar/should_compile/ds022.stderr @@ -1,8 +1,8 @@ -ds022.hs:24:1: warning: +ds022.hs:24:1: warning: [-Woverlapping-patterns (in -Wdefault)] Pattern match is redundant In an equation for ‘i’: i 1 0.011e2 = ... -ds022.hs:25:1: warning: +ds022.hs:25:1: warning: [-Woverlapping-patterns (in -Wdefault)] Pattern match is redundant In an equation for ‘i’: i 2 2.20000 = ... diff --git a/testsuite/tests/deSugar/should_compile/ds043.stderr b/testsuite/tests/deSugar/should_compile/ds043.stderr index c6fb861300..3ffb20f6ac 100644 --- a/testsuite/tests/deSugar/should_compile/ds043.stderr +++ b/testsuite/tests/deSugar/should_compile/ds043.stderr @@ -1,4 +1,4 @@ -ds043.hs:10:3: warning: +ds043.hs:10:3: warning: [-Woverlapping-patterns (in -Wdefault)] Pattern match is redundant In a case alternative: B {e = True, f = False} -> ... diff --git a/testsuite/tests/deSugar/should_compile/ds051.stderr b/testsuite/tests/deSugar/should_compile/ds051.stderr index 0cf4e1d34d..a59b7ba49d 100644 --- a/testsuite/tests/deSugar/should_compile/ds051.stderr +++ b/testsuite/tests/deSugar/should_compile/ds051.stderr @@ -1,12 +1,12 @@ -ds051.hs:7:1: warning: +ds051.hs:7:1: warning: [-Woverlapping-patterns (in -Wdefault)] Pattern match is redundant In an equation for ‘f1’: f1 "ab" = ... -ds051.hs:12:1: warning: +ds051.hs:12:1: warning: [-Woverlapping-patterns (in -Wdefault)] Pattern match is redundant In an equation for ‘f2’: f2 ('a' : 'b' : []) = ... -ds051.hs:17:1: warning: +ds051.hs:17:1: warning: [-Woverlapping-patterns (in -Wdefault)] Pattern match is redundant In an equation for ‘f3’: f3 "ab" = ... diff --git a/testsuite/tests/deSugar/should_compile/ds056.stderr b/testsuite/tests/deSugar/should_compile/ds056.stderr index 4d605c7af7..e945a72d64 100644 --- a/testsuite/tests/deSugar/should_compile/ds056.stderr +++ b/testsuite/tests/deSugar/should_compile/ds056.stderr @@ -1,4 +1,4 @@ -ds056.hs:10:1: warning: +ds056.hs:10:1: warning: [-Woverlapping-patterns (in -Wdefault)] Pattern match is redundant In an equation for ‘g’: g _ = ... diff --git a/testsuite/tests/deSugar/should_compile/ds058.stderr b/testsuite/tests/deSugar/should_compile/ds058.stderr index 61aa219245..4a087766e4 100644 --- a/testsuite/tests/deSugar/should_compile/ds058.stderr +++ b/testsuite/tests/deSugar/should_compile/ds058.stderr @@ -1,4 +1,4 @@ -ds058.hs:7:9: warning: +ds058.hs:7:9: warning: [-Woverlapping-patterns (in -Wdefault)] Pattern match is redundant In a case alternative: Just _ -> ... diff --git a/testsuite/tests/dependent/should_compile/KindEqualities.stderr b/testsuite/tests/dependent/should_compile/KindEqualities.stderr index bb52bb4578..af429d106b 100644 --- a/testsuite/tests/dependent/should_compile/KindEqualities.stderr +++ b/testsuite/tests/dependent/should_compile/KindEqualities.stderr @@ -1,5 +1,5 @@ -KindEqualities.hs:23:1: warning: +KindEqualities.hs:23:1: warning: [-Wincomplete-patterns (in -Wextra)] Pattern match(es) are non-exhaustive In an equation for ‘zero’: Patterns not matched: (TyApp (TyApp _ _) _) diff --git a/testsuite/tests/driver/werror.stderr b/testsuite/tests/driver/werror.stderr index 09424963b2..38bab8b821 100644 --- a/testsuite/tests/driver/werror.stderr +++ b/testsuite/tests/driver/werror.stderr @@ -20,11 +20,11 @@ werror.hs:10:1: warning: [-Wmissing-signatures (in -Wall)] Top-level binding with no type signature: f :: forall t t1. [t] -> [t1] -werror.hs:10:1: warning: +werror.hs:10:1: warning: [-Wincomplete-patterns (in -Wextra)] Pattern match(es) are non-exhaustive In an equation for ‘f’: Patterns not matched: (_:_) -werror.hs:11:1: warning: +werror.hs:11:1: warning: [-Woverlapping-patterns (in -Wdefault)] Pattern match is redundant In an equation for ‘f’: f [] = ... diff --git a/testsuite/tests/gadt/T7294.stderr b/testsuite/tests/gadt/T7294.stderr index a8ea17df80..5fd4ea92ab 100644 --- a/testsuite/tests/gadt/T7294.stderr +++ b/testsuite/tests/gadt/T7294.stderr @@ -1,12 +1,12 @@ -
-T7294.hs:25:1: warning:
- Pattern match is redundant
- In an equation for ‘nth’: nth Nil _ = ...
-
-T7294.hs:25:5: warning:
- • Couldn't match type ‘'True’ with ‘'False’
- Inaccessible code in
- a pattern with constructor: Nil :: forall a. Vec a 'Zero,
- in an equation for ‘nth’
- • In the pattern: Nil
- In an equation for ‘nth’: nth Nil _ = undefined
+ +T7294.hs:25:1: warning: [-Woverlapping-patterns (in -Wdefault)] + Pattern match is redundant + In an equation for ‘nth’: nth Nil _ = ... + +T7294.hs:25:5: warning: + • Couldn't match type ‘'True’ with ‘'False’ + Inaccessible code in + a pattern with constructor: Nil :: forall a. Vec a 'Zero, + in an equation for ‘nth’ + • In the pattern: Nil + In an equation for ‘nth’: nth Nil _ = undefined diff --git a/testsuite/tests/ghci/scripts/Defer02.stderr b/testsuite/tests/ghci/scripts/Defer02.stderr index 87171e0441..f1d9787529 100644 --- a/testsuite/tests/ghci/scripts/Defer02.stderr +++ b/testsuite/tests/ghci/scripts/Defer02.stderr @@ -17,7 +17,7 @@ • In the expression: x == x In an equation for ‘b’: b x = x == x -../../typecheck/should_run/Defer01.hs:25:1: warning: +../../typecheck/should_run/Defer01.hs:25:1: warning: [-Woverlapping-patterns (in -Wdefault)] Pattern match has inaccessible right hand side In an equation for ‘c’: c (C2 x) = ... @@ -102,7 +102,7 @@ In the type signature: k :: (Int ~ Bool) => Int -> Bool -../../typecheck/should_run/Defer01.hs:46:1: warning: +../../typecheck/should_run/Defer01.hs:46:1: warning: [-Woverlapping-patterns (in -Wdefault)] Pattern match is redundant In an equation for ‘k’: k x = ... diff --git a/testsuite/tests/ghci/scripts/T3263.stderr b/testsuite/tests/ghci/scripts/T3263.stderr index 737f0bbcaa..df58a5dc58 100644 --- a/testsuite/tests/ghci/scripts/T3263.stderr +++ b/testsuite/tests/ghci/scripts/T3263.stderr @@ -1,5 +1,4 @@ -T3263.hs:8:12: Warning: +T3263.hs:8:12: warning: [-Wunused-do-bind (in -Wall)] A do-notation statement discarded a result of type ‘Char’ Suppress this warning by saying ‘_ <- getChar’ - or by using the flag -fno-warn-unused-do-bind diff --git a/testsuite/tests/numeric/should_compile/T10929.stderr b/testsuite/tests/numeric/should_compile/T10929.stderr index 8723c42a9a..15c382ca3e 100644 --- a/testsuite/tests/numeric/should_compile/T10929.stderr +++ b/testsuite/tests/numeric/should_compile/T10929.stderr @@ -1,6 +1,9 @@ -T10929.hs:4:6: warning: Enumeration is empty +T10929.hs:4:6: warning: [-Wempty-enumerations (in -Wdefault)] + Enumeration is empty -T10929.hs:22:6: warning: Enumeration is empty +T10929.hs:22:6: warning: [-Wempty-enumerations (in -Wdefault)] + Enumeration is empty -T10929.hs:28:6: warning: Enumeration is empty +T10929.hs:28:6: warning: [-Wempty-enumerations (in -Wdefault)] + Enumeration is empty diff --git a/testsuite/tests/numeric/should_compile/T7881.stderr b/testsuite/tests/numeric/should_compile/T7881.stderr index db1dbed796..9bcca4f5e9 100644 --- a/testsuite/tests/numeric/should_compile/T7881.stderr +++ b/testsuite/tests/numeric/should_compile/T7881.stderr @@ -1,6 +1,9 @@ -T7881.hs:7:6: Warning: Enumeration is empty +T7881.hs:7:6: warning: [-Wempty-enumerations (in -Wdefault)] + Enumeration is empty -T7881.hs:25:6: Warning: Enumeration is empty +T7881.hs:25:6: warning: [-Wempty-enumerations (in -Wdefault)] + Enumeration is empty -T7881.hs:31:6: Warning: Enumeration is empty +T7881.hs:31:6: warning: [-Wempty-enumerations (in -Wdefault)] + Enumeration is empty diff --git a/testsuite/tests/numeric/should_compile/T7895.stderr b/testsuite/tests/numeric/should_compile/T7895.stderr index a4438efe4c..cf25e80a25 100644 --- a/testsuite/tests/numeric/should_compile/T7895.stderr +++ b/testsuite/tests/numeric/should_compile/T7895.stderr @@ -1,6 +1,6 @@ -T7895.hs:10:6: Warning: +T7895.hs:10:6: warning: [-Woverflowed-literals (in -Wdefault)] Literal 300 is out of the Word8 range 0..255 -T7895.hs:13:6: Warning: +T7895.hs:13:6: warning: [-Woverflowed-literals (in -Wdefault)] Literal -129 is out of the Int8 range -128..127 diff --git a/testsuite/tests/numeric/should_compile/T8542.stderr b/testsuite/tests/numeric/should_compile/T8542.stderr index b86ccad361..f4143821f6 100644 --- a/testsuite/tests/numeric/should_compile/T8542.stderr +++ b/testsuite/tests/numeric/should_compile/T8542.stderr @@ -1,8 +1,8 @@ -T8542.hs:6:6: Warning: +T8542.hs:6:6: warning: [-Woverflowed-literals (in -Wdefault)] Literal 128 is out of the Int8 range -128..127 If you are trying to write a large negative literal, use NegativeLiterals -T8542.hs:9:5: Warning: +T8542.hs:9:5: warning: [-Woverflowed-literals (in -Wdefault)] Literal 128 is out of the Int8 range -128..127 If you are trying to write a large negative literal, use NegativeLiterals diff --git a/testsuite/tests/pmcheck/should_compile/T11245.stderr b/testsuite/tests/pmcheck/should_compile/T11245.stderr index 184029a274..4e976a71c6 100644 --- a/testsuite/tests/pmcheck/should_compile/T11245.stderr +++ b/testsuite/tests/pmcheck/should_compile/T11245.stderr @@ -1,4 +1,4 @@ -
-T11245.hs:5:7: warning:
- Pattern match(es) are non-exhaustive
- In an equation for ‘a’: Guards do not cover entire pattern space
+ +T11245.hs:5:7: warning: [-Wincomplete-patterns (in -Wextra)] + Pattern match(es) are non-exhaustive + In an equation for ‘a’: Guards do not cover entire pattern space diff --git a/testsuite/tests/pmcheck/should_compile/T2204.stderr b/testsuite/tests/pmcheck/should_compile/T2204.stderr index d2e6e0a434..c2e2251fc9 100644 --- a/testsuite/tests/pmcheck/should_compile/T2204.stderr +++ b/testsuite/tests/pmcheck/should_compile/T2204.stderr @@ -1,4 +1,5 @@ -T2204.hs:6:1: warning: + +T2204.hs:6:1: warning: [-Wincomplete-patterns (in -Wextra)] Pattern match(es) are non-exhaustive In an equation for ‘f’: Patterns not matched: @@ -8,7 +9,7 @@ T2204.hs:6:1: warning: ('0':p:_) where p is not one of {'1'} ... -T2204.hs:9:1: warning: +T2204.hs:9:1: warning: [-Wincomplete-patterns (in -Wextra)] Pattern match(es) are non-exhaustive In an equation for ‘g’: Patterns not matched: p where p is not one of {0} diff --git a/testsuite/tests/pmcheck/should_compile/T9951b.stderr b/testsuite/tests/pmcheck/should_compile/T9951b.stderr index b998ce225b..ff6696b466 100644 --- a/testsuite/tests/pmcheck/should_compile/T9951b.stderr +++ b/testsuite/tests/pmcheck/should_compile/T9951b.stderr @@ -1,4 +1,5 @@ -T9951b.hs:7:1: warning: + +T9951b.hs:7:1: warning: [-Wincomplete-patterns (in -Wextra)] Pattern match(es) are non-exhaustive In an equation for ‘f’: Patterns not matched: diff --git a/testsuite/tests/pmcheck/should_compile/pmc001.stderr b/testsuite/tests/pmcheck/should_compile/pmc001.stderr index eb0bd4bc56..9cd2e255ce 100644 --- a/testsuite/tests/pmcheck/should_compile/pmc001.stderr +++ b/testsuite/tests/pmcheck/should_compile/pmc001.stderr @@ -1,4 +1,5 @@ -pmc001.hs:14:1: warning: + +pmc001.hs:14:1: warning: [-Wincomplete-patterns (in -Wextra)] Pattern match(es) are non-exhaustive In an equation for ‘f’: Patterns not matched: @@ -7,7 +8,7 @@ pmc001.hs:14:1: warning: MkT3 MkT1 MkT3 (MkT2 _) -pmc001.hs:19:1: warning: +pmc001.hs:19:1: warning: [-Wincomplete-patterns (in -Wextra)] Pattern match(es) are non-exhaustive In an equation for ‘g’: Patterns not matched: diff --git a/testsuite/tests/pmcheck/should_compile/pmc003.stderr b/testsuite/tests/pmcheck/should_compile/pmc003.stderr index f1561730a3..03e0df0d46 100644 --- a/testsuite/tests/pmcheck/should_compile/pmc003.stderr +++ b/testsuite/tests/pmcheck/should_compile/pmc003.stderr @@ -1,4 +1,4 @@ -pmc003.hs:7:1: warning: +pmc003.hs:7:1: warning: [-Woverlapping-patterns (in -Wdefault)] Pattern match has inaccessible right hand side In an equation for ‘f’: f True False = ... diff --git a/testsuite/tests/pmcheck/should_compile/pmc004.stderr b/testsuite/tests/pmcheck/should_compile/pmc004.stderr index 37f85d5938..7bce24399f 100644 --- a/testsuite/tests/pmcheck/should_compile/pmc004.stderr +++ b/testsuite/tests/pmcheck/should_compile/pmc004.stderr @@ -1,4 +1,4 @@ -pmc004.hs:16:1: warning: +pmc004.hs:16:1: warning: [-Woverlapping-patterns (in -Wdefault)] Pattern match has inaccessible right hand side In an equation for ‘h’: h _ G1 = ... diff --git a/testsuite/tests/pmcheck/should_compile/pmc005.stderr b/testsuite/tests/pmcheck/should_compile/pmc005.stderr index ddb4af92ee..b7b9cac5f3 100644 --- a/testsuite/tests/pmcheck/should_compile/pmc005.stderr +++ b/testsuite/tests/pmcheck/should_compile/pmc005.stderr @@ -1,8 +1,8 @@ -pmc005.hs:11:1: warning: +pmc005.hs:11:1: warning: [-Wincomplete-patterns (in -Wextra)] Pattern match(es) are non-exhaustive In an equation for ‘foo’: Patterns not matched: TBool TBool -pmc005.hs:12:1: warning: +pmc005.hs:12:1: warning: [-Woverlapping-patterns (in -Wdefault)] Pattern match has inaccessible right hand side In an equation for ‘foo’: foo _ TList = ... diff --git a/testsuite/tests/pmcheck/should_compile/pmc007.stderr b/testsuite/tests/pmcheck/should_compile/pmc007.stderr index 291fbdcde2..f6e4ece88c 100644 --- a/testsuite/tests/pmcheck/should_compile/pmc007.stderr +++ b/testsuite/tests/pmcheck/should_compile/pmc007.stderr @@ -1,9 +1,10 @@ -pmc007.hs:7:1: warning: + +pmc007.hs:7:1: warning: [-Wincomplete-patterns (in -Wextra)] Pattern match(es) are non-exhaustive In an equation for ‘f’: Patterns not matched: p where p is not one of {"ac", "ab"} -pmc007.hs:12:1: warning: +pmc007.hs:12:1: warning: [-Wincomplete-patterns (in -Wextra)] Pattern match(es) are non-exhaustive In an equation for ‘g’: Patterns not matched: @@ -13,7 +14,7 @@ pmc007.hs:12:1: warning: ('a':p:_) where p is not one of {'c', 'b'} ... -pmc007.hs:18:11: warning: +pmc007.hs:18:11: warning: [-Wincomplete-patterns (in -Wextra)] Pattern match(es) are non-exhaustive In a case alternative: Patterns not matched: diff --git a/testsuite/tests/simplCore/should_compile/T6082-RULE.stderr b/testsuite/tests/simplCore/should_compile/T6082-RULE.stderr index 165a7773bb..7359861750 100644 --- a/testsuite/tests/simplCore/should_compile/T6082-RULE.stderr +++ b/testsuite/tests/simplCore/should_compile/T6082-RULE.stderr @@ -1,8 +1,8 @@ -T6082-RULE.hs:5:11: warning: +T6082-RULE.hs:5:11: warning: [-Winline-rule-shadowing (in -Wdefault)] Rule "foo1" may never fire because ‘foo1’ might inline first Probable fix: add an INLINE[n] or NOINLINE[n] pragma for ‘foo1’ -T6082-RULE.hs:10:11: warning: +T6082-RULE.hs:10:11: warning: [-Winline-rule-shadowing (in -Wdefault)] Rule "foo2" may never fire because ‘foo2’ might inline first Probable fix: add an INLINE[n] or NOINLINE[n] pragma for ‘foo2’ diff --git a/testsuite/tests/simplCore/should_compile/T7287.stderr b/testsuite/tests/simplCore/should_compile/T7287.stderr index 66dfe007f5..5aa71e0e98 100644 --- a/testsuite/tests/simplCore/should_compile/T7287.stderr +++ b/testsuite/tests/simplCore/should_compile/T7287.stderr @@ -1,5 +1,5 @@ -T7287.hs:7:3: warning: +T7287.hs:7:3: warning: [-Winline-rule-shadowing (in -Wdefault)] Rule "int2Word#/word2Int#" may never fire because rule "word2Int#" for ‘word2Int#’ might fire first Probable fix: add phase [n] or [~n] to the competing rule diff --git a/testsuite/tests/th/TH_repUnboxedTuples.stderr b/testsuite/tests/th/TH_repUnboxedTuples.stderr index bd647aba19..45cb29cdef 100644 --- a/testsuite/tests/th/TH_repUnboxedTuples.stderr +++ b/testsuite/tests/th/TH_repUnboxedTuples.stderr @@ -4,6 +4,6 @@ case (# 'b', GHC.Types.False #) of (# 'b', GHC.Types.False #) -> (# "Two", 2 #) (# _, _ #) -> (# "Three", 3 #) -TH_repUnboxedTuples.hs:18:13: warning: +TH_repUnboxedTuples.hs:18:13: warning: [-Woverlapping-patterns (in -Wdefault)] Pattern match is redundant In a case alternative: (# 'a', True #) -> ... diff --git a/testsuite/tests/typecheck/should_compile/T5490.stderr b/testsuite/tests/typecheck/should_compile/T5490.stderr index 4a2bb1f887..3cf5b3e866 100644 --- a/testsuite/tests/typecheck/should_compile/T5490.stderr +++ b/testsuite/tests/typecheck/should_compile/T5490.stderr @@ -1,8 +1,8 @@ -T5490.hs:246:5: warning: +T5490.hs:246:5: warning: [-Woverlapping-patterns (in -Wdefault)] Pattern match is redundant In a case alternative: HDropZero -> ... -T5490.hs:295:5: warning: +T5490.hs:295:5: warning: [-Woverlapping-patterns (in -Wdefault)] Pattern match is redundant In a case alternative: _ -> ... |