summaryrefslogtreecommitdiff
path: root/testsuite/tests/ghci/scripts
diff options
context:
space:
mode:
authorHerbert Valerio Riedel <hvr@gnu.org>2016-02-27 19:45:11 +0100
committerHerbert Valerio Riedel <hvr@gnu.org>2016-02-27 19:45:11 +0100
commit3cd4c9ca4564982cf159f11f59d434235ba28808 (patch)
tree17b6b13f6d8a177d341b39eb94be110919a0a14d /testsuite/tests/ghci/scripts
parentb6c61e372a1a783b32f1bbd1ceb446e89478a138 (diff)
downloadhaskell-3cd4c9ca4564982cf159f11f59d434235ba28808.tar.gz
Annotate `[-Wdeferred-type-errors]` in warnings (re #10752)
This was missed in bb5afd3c274011c5ea302210b4c290ec1f83209c
Diffstat (limited to 'testsuite/tests/ghci/scripts')
-rw-r--r--testsuite/tests/ghci/scripts/Defer02.stderr26
-rw-r--r--testsuite/tests/ghci/scripts/T8353.stderr6
2 files changed, 16 insertions, 16 deletions
diff --git a/testsuite/tests/ghci/scripts/Defer02.stderr b/testsuite/tests/ghci/scripts/Defer02.stderr
index f1d9787529..859142427c 100644
--- a/testsuite/tests/ghci/scripts/Defer02.stderr
+++ b/testsuite/tests/ghci/scripts/Defer02.stderr
@@ -1,5 +1,5 @@
-../../typecheck/should_run/Defer01.hs:11:40: warning:
+../../typecheck/should_run/Defer01.hs:11:40: warning: [-Wdeferred-type-errors (in -Wdefault)]
• Couldn't match type ‘Char’ with ‘[Char]’
Expected type: String
Actual type: Char
@@ -7,12 +7,12 @@
In the second argument of ‘(>>)’, namely ‘putStr ','’
In the expression: putStr "Hello World" >> putStr ','
-../../typecheck/should_run/Defer01.hs:14:5: warning:
+../../typecheck/should_run/Defer01.hs:14:5: warning: [-Wdeferred-type-errors (in -Wdefault)]
• Couldn't match expected type ‘Int’ with actual type ‘Char’
• In the expression: 'p'
In an equation for ‘a’: a = 'p'
-../../typecheck/should_run/Defer01.hs:18:7: warning:
+../../typecheck/should_run/Defer01.hs:18:7: warning: [-Wdeferred-type-errors (in -Wdefault)]
• No instance for (Eq B) arising from a use of ‘==’
• In the expression: x == x
In an equation for ‘b’: b x = x == x
@@ -21,7 +21,7 @@
Pattern match has inaccessible right hand side
In an equation for ‘c’: c (C2 x) = ...
-../../typecheck/should_run/Defer01.hs:25:4: warning:
+../../typecheck/should_run/Defer01.hs:25:4: warning: [-Wdeferred-type-errors (in -Wdefault)]
• Couldn't match type ‘Int’ with ‘Bool’
Inaccessible code in
a pattern with constructor: C2 :: Bool -> C Bool,
@@ -29,13 +29,13 @@
• In the pattern: C2 x
In an equation for ‘c’: c (C2 x) = True
-../../typecheck/should_run/Defer01.hs:28:5: warning:
+../../typecheck/should_run/Defer01.hs:28:5: warning: [-Wdeferred-type-errors (in -Wdefault)]
• No instance for (Num (a -> a)) arising from the literal ‘1’
(maybe you haven't applied a function to enough arguments?)
• In the expression: 1
In an equation for ‘d’: d = 1
-../../typecheck/should_run/Defer01.hs:31:5: warning:
+../../typecheck/should_run/Defer01.hs:31:5: warning: [-Wdeferred-type-errors (in -Wdefault)]
• Couldn't match expected type ‘Char -> t’ with actual type ‘Char’
• The function ‘e’ is applied to one argument,
but its type ‘Char’ has none
@@ -44,7 +44,7 @@
• Relevant bindings include
f :: t (bound at ../../typecheck/should_run/Defer01.hs:31:1)
-../../typecheck/should_run/Defer01.hs:34:8: warning:
+../../typecheck/should_run/Defer01.hs:34:8: warning: [-Wdeferred-type-errors (in -Wdefault)]
• Couldn't match expected type ‘Char’ with actual type ‘a’
‘a’ is a rigid type variable bound by
the type signature for:
@@ -58,7 +58,7 @@
h :: a -> (Char, Char)
(bound at ../../typecheck/should_run/Defer01.hs:34:1)
-../../typecheck/should_run/Defer01.hs:39:17: warning:
+../../typecheck/should_run/Defer01.hs:39:17: warning: [-Wdeferred-type-errors (in -Wdefault)]
• Couldn't match expected type ‘Bool’ with actual type ‘T a’
• In the first argument of ‘not’, namely ‘(K a)’
In the expression: (not (K a))
@@ -67,12 +67,12 @@
a :: a (bound at ../../typecheck/should_run/Defer01.hs:39:3)
i :: a -> () (bound at ../../typecheck/should_run/Defer01.hs:39:1)
-../../typecheck/should_run/Defer01.hs:43:5: warning:
+../../typecheck/should_run/Defer01.hs:43:5: warning: [-Wdeferred-type-errors (in -Wdefault)]
• No instance for (MyClass a1) arising from a use of ‘myOp’
• In the expression: myOp 23
In an equation for ‘j’: j = myOp 23
-../../typecheck/should_run/Defer01.hs:43:10: warning:
+../../typecheck/should_run/Defer01.hs:43:10: warning: [-Wdeferred-type-errors (in -Wdefault)]
• Ambiguous type variable ‘a1’ arising from the literal ‘23’
prevents the constraint ‘(Num a1)’ from being solved.
Probable fix: use a type annotation to specify what ‘a1’ should be.
@@ -86,13 +86,13 @@
In the expression: myOp 23
In an equation for ‘j’: j = myOp 23
-../../typecheck/should_run/Defer01.hs:45:1: warning:
+../../typecheck/should_run/Defer01.hs:45:1: warning: [-Wdeferred-type-errors (in -Wdefault)]
Couldn't match type ‘Int’ with ‘Bool’
Inaccessible code in
the type signature for:
k :: (Int ~ Bool) => Int -> Bool
-../../typecheck/should_run/Defer01.hs:45:6: warning:
+../../typecheck/should_run/Defer01.hs:45:6: warning: [-Wdeferred-type-errors (in -Wdefault)]
• Couldn't match type ‘Int’ with ‘Bool’
Inaccessible code in
the type signature for:
@@ -106,7 +106,7 @@
Pattern match is redundant
In an equation for ‘k’: k x = ...
-../../typecheck/should_run/Defer01.hs:49:5: warning:
+../../typecheck/should_run/Defer01.hs:49:5: warning: [-Wdeferred-type-errors (in -Wdefault)]
• Couldn't match expected type ‘IO a0’
with actual type ‘Char -> IO ()’
• Probable cause: ‘putChar’ is applied to too few arguments
diff --git a/testsuite/tests/ghci/scripts/T8353.stderr b/testsuite/tests/ghci/scripts/T8353.stderr
index 41be9353c1..e525c22162 100644
--- a/testsuite/tests/ghci/scripts/T8353.stderr
+++ b/testsuite/tests/ghci/scripts/T8353.stderr
@@ -1,5 +1,5 @@
-Defer03.hs:4:5: warning:
+Defer03.hs:4:5: warning: [-Wdeferred-type-errors (in -Wdefault)]
• Couldn't match expected type ‘Int’ with actual type ‘Char’
• In the expression: 'p'
In an equation for ‘a’: a = 'p'
@@ -21,7 +21,7 @@ Defer03.hs:7:5: error:
In an equation for ‘f’: f = _
• Relevant bindings include f :: Int (bound at Defer03.hs:7:1)
-Defer03.hs:4:5: warning:
+Defer03.hs:4:5: warning: [-Wdeferred-type-errors (in -Wdefault)]
• Couldn't match expected type ‘Int’ with actual type ‘Char’
• In the expression: 'p'
In an equation for ‘a’: a = 'p'
@@ -43,7 +43,7 @@ Defer03.hs:7:5: error:
In an equation for ‘f’: f = _
• Relevant bindings include f :: Int (bound at Defer03.hs:7:1)
-Defer03.hs:4:5: warning:
+Defer03.hs:4:5: warning: [-Wdeferred-type-errors (in -Wdefault)]
• Couldn't match expected type ‘Int’ with actual type ‘Char’
• In the expression: 'p'
In an equation for ‘a’: a = 'p'