summaryrefslogtreecommitdiff
path: root/testsuite/tests/deSugar/should_compile
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/deSugar/should_compile')
-rw-r--r--testsuite/tests/deSugar/should_compile/DsStrictWarn.stderr2
-rw-r--r--testsuite/tests/deSugar/should_compile/GadtOverlap.stderr2
-rw-r--r--testsuite/tests/deSugar/should_compile/T10662.stderr3
-rw-r--r--testsuite/tests/deSugar/should_compile/T2395.stderr2
-rw-r--r--testsuite/tests/deSugar/should_compile/T3263-1.stderr6
-rw-r--r--testsuite/tests/deSugar/should_compile/T3263-2.stderr6
-rw-r--r--testsuite/tests/deSugar/should_compile/T4488.stderr12
-rw-r--r--testsuite/tests/deSugar/should_compile/T5117.stderr2
-rw-r--r--testsuite/tests/deSugar/should_compile/T5455.stderr4
-rw-r--r--testsuite/tests/deSugar/should_compile/ds002.stderr6
-rw-r--r--testsuite/tests/deSugar/should_compile/ds003.stderr4
-rw-r--r--testsuite/tests/deSugar/should_compile/ds019.stderr6
-rw-r--r--testsuite/tests/deSugar/should_compile/ds020.stderr10
-rw-r--r--testsuite/tests/deSugar/should_compile/ds022.stderr4
-rw-r--r--testsuite/tests/deSugar/should_compile/ds043.stderr2
-rw-r--r--testsuite/tests/deSugar/should_compile/ds051.stderr6
-rw-r--r--testsuite/tests/deSugar/should_compile/ds056.stderr2
-rw-r--r--testsuite/tests/deSugar/should_compile/ds058.stderr2
18 files changed, 36 insertions, 45 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 _ -> ...