I've changed the error reporting so that with -fdefer-type-errors

you get *all* type errors as warnings, rather than some being suppressed

1 files changed, 42 insertions, 0 deletions

diff --git a/testsuite/tests/ghci/scripts/Defer02.stderr b/testsuite/tests/ghci/scripts/Defer02.stderr
index 28f8596698..db02b16308 100644
--- a/testsuite/tests/ghci/scripts/Defer02.stderr
+++ b/testsuite/tests/ghci/scripts/Defer02.stderr
@@ -12,6 +12,11 @@
     In the expression: 'p'
     In an equation for `a': a = 'p'
 
+../../typecheck/should_run/Defer01.hs:18:9: Warning:
+    No instance for (Eq B) arising from a use of `=='
+    In the expression: x == x
+    In an equation for `b': b x = x == x
+
 ../../typecheck/should_run/Defer01.hs:25:4: Warning:
     Couldn't match type `Int' with `Bool'
     Inaccessible code in
@@ -21,6 +26,11 @@
     In the pattern: C2 x
     In an equation for `c': c (C2 x) = True
 
+../../typecheck/should_run/Defer01.hs:28:5: Warning:
+    No instance for (Num (a -> a)) arising from the literal `1'
+    In the expression: 1
+    In an equation for `d': d = 1
+
 ../../typecheck/should_run/Defer01.hs:31:5: Warning:
     Couldn't match expected type `Char -> t' with actual type `Char'
     Relevant bindings include
@@ -30,6 +40,19 @@
     In the expression: e 'q'
     In an equation for `f': f = e 'q'
 
+../../typecheck/should_run/Defer01.hs:34:8: Warning:
+    Couldn't match expected type `Char' with actual type `a'
+      `a' is a rigid type variable bound by
+          the type signature for h :: a -> (Char, Char)
+          at ../../typecheck/should_run/Defer01.hs:33:6
+    Relevant bindings include
+      h :: a -> (Char, Char)
+        (bound at ../../typecheck/should_run/Defer01.hs:34:1)
+      x :: a (bound at ../../typecheck/should_run/Defer01.hs:34:3)
+    In the expression: x
+    In the expression: (x, 'c')
+    In an equation for `h': h x = (x, 'c')
+
 ../../typecheck/should_run/Defer01.hs:39:17: Warning:
     Couldn't match expected type `Bool' with actual type `T a'
     Relevant bindings include
@@ -39,6 +62,25 @@
     In the first argument of `not', namely `(K a)'
     In the expression: (not (K a))
 
+../../typecheck/should_run/Defer01.hs:43:5: Warning:
+    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:
+    No instance for (Num a1) arising from the literal `23'
+    The type variable `a1' is ambiguous
+    Possible fix: add a type signature that fixes these type variable(s)
+    Note: there are several potential instances:
+      instance Num Double -- Defined in `GHC.Float'
+      instance Num Float -- Defined in `GHC.Float'
+      instance Integral a => Num (GHC.Real.Ratio a)
+        -- Defined in `GHC.Real'
+      ...plus three others
+    In the first argument of `myOp', namely `23'
+    In the expression: myOp 23
+    In an equation for `j': j = myOp 23
+
 ../../typecheck/should_run/Defer01.hs:45:6: Warning:
     Couldn't match type `Int' with `Bool'
     Inaccessible code in