diff options
author | Herbert Valerio Riedel <hvr@gnu.org> | 2016-02-27 19:45:11 +0100 |
---|---|---|
committer | Herbert Valerio Riedel <hvr@gnu.org> | 2016-02-27 19:45:11 +0100 |
commit | 3cd4c9ca4564982cf159f11f59d434235ba28808 (patch) | |
tree | 17b6b13f6d8a177d341b39eb94be110919a0a14d /testsuite/tests/ghci/scripts | |
parent | b6c61e372a1a783b32f1bbd1ceb446e89478a138 (diff) | |
download | haskell-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.stderr | 26 | ||||
-rw-r--r-- | testsuite/tests/ghci/scripts/T8353.stderr | 6 |
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' |