Error message wibbles, following TcErrors refactoring

1 files changed, 22 insertions, 11 deletions

diff --git a/testsuite/tests/typecheck/should_fail/mc22.stderr b/testsuite/tests/typecheck/should_fail/mc22.stderr
index 7a4cc4e44b..3a149fdcba 100644
--- a/testsuite/tests/typecheck/should_fail/mc22.stderr
+++ b/testsuite/tests/typecheck/should_fail/mc22.stderr
@@ -1,11 +1,22 @@
-
-mc22.hs:10:26:
-    Couldn't match type ‛a’ with ‛t a’
-      ‛a’ is a rigid type variable bound by
-          a type expected by the context: [a] -> [t a] at mc22.hs:10:9
-    Expected type: [a] -> [t a]
-      Actual type: [a] -> [a]
-    Relevant bindings include foo :: [t [Char]] (bound at mc22.hs:8:1)
-    In the return type of a call of ‛take’
-    In the expression: take 5
-    In a stmt of a monad comprehension: then group using take 5
+

+mc22.hs:10:9:

+    No instance for (Functor t) arising from a use of ‛fmap’

+    Possible fix:

+      add (Functor t) to the context of

+        a type expected by the context: (a -> b) -> t a -> t b

+        or the inferred type of foo :: [t [Char]]

+    In the expression: fmap

+    In a stmt of a monad comprehension: then group using take 5

+    In the expression:

+      [x + 1 | x <- ["Hello", "World"], then group using take 5]

+

+mc22.hs:10:26:

+    Couldn't match type ‛a’ with ‛t a’

+      ‛a’ is a rigid type variable bound by

+          a type expected by the context: [a] -> [t a] at mc22.hs:10:9

+    Expected type: [a] -> [t a]

+      Actual type: [a] -> [a]

+    Relevant bindings include foo :: [t [Char]] (bound at mc22.hs:8:1)

+    In the return type of a call of ‛take’

+    In the expression: take 5

+    In a stmt of a monad comprehension: then group using take 5