Improve error message in deriving( Functor )

[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail201.stderr

diff --git a/testsuite/tests/typecheck/should_fail/tcfail201.stderr b/testsuite/tests/typecheck/should_fail/tcfail201.stderr
index f548f0e..77349e2 100644 (file)
--- a/testsuite/tests/typecheck/should_fail/tcfail201.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail201.stderr
@@ -1,15 +1,19 @@
 
-tcfail201.hs:17:58: error:
-    Couldn't match expected type ‘a’ with actual type ‘HsDoc t0’
+tcfail201.hs:17:56: error:
+    • Couldn't match type ‘a’ with ‘HsDoc id0’
       ‘a’ is a rigid type variable bound by
-          the type signature for:
-          gfoldl' :: (forall a1 b. c (a1 -> b) -> a1 -> c b)
+        the type signature for:
+          gfoldl' :: forall (c :: * -> *) a.
+                     (forall a1 b. c (a1 -> b) -> a1 -> c b)
                      -> (forall g. g -> c g) -> a -> c a
-          at tcfail201.hs:15:12
-    Relevant bindings include
-      hsDoc :: a (bound at tcfail201.hs:16:13)
-      gfoldl' :: (forall a1 b. c (a1 -> b) -> a1 -> c b)
-                 -> (forall g. g -> c g) -> a -> c a
-        (bound at tcfail201.hs:16:1)
-    In the first argument of ‘z’, namely ‘DocEmpty’
-    In the expression: z DocEmpty
+        at tcfail201.hs:15:1-85
+      Expected type: c a
+        Actual type: c (HsDoc id0)
+    • In the expression: z DocEmpty
+      In a case alternative: DocEmpty -> z DocEmpty
+      In the expression: case hsDoc of { DocEmpty -> z DocEmpty }
+    • Relevant bindings include
+        hsDoc :: a (bound at tcfail201.hs:16:13)
+        gfoldl' :: (forall a1 b. c (a1 -> b) -> a1 -> c b)
+                   -> (forall g. g -> c g) -> a -> c a
+          (bound at tcfail201.hs:16:1)