Annotate `[-Wdeferred-type-errors]` in warnings (re #10752)
[ghc.git] / testsuite / tests / ghci / scripts / Defer02.stderr
index f1d9787..8591424 100644 (file)
@@ -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,
     • 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))
         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.
       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:
     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