Lots of error message wibbling, following the

major TcErrors refactoring

1 files changed, 33 insertions, 2 deletions

diff --git a/testsuite/tests/typecheck/should_fail/mc24.stderr b/testsuite/tests/typecheck/should_fail/mc24.stderr
index bee1592659..4856dc75ad 100644
--- a/testsuite/tests/typecheck/should_fail/mc24.stderr
+++ b/testsuite/tests/typecheck/should_fail/mc24.stderr
@@ -1,8 +1,39 @@
 
+mc24.hs:9:14:
+    No instance for (Enum a1)
+      arising from the arithmetic sequence `1 .. 10'
+    The type variable `a1' is ambiguous
+    Possible fix: add a type signature that fixes these type variable(s)
+    In a stmt of a monad comprehension: x <- [1 .. 10]
+    In a stmt of a monad comprehension: then group by x using take 2
+    In the expression:
+      [length x | x <- [1 .. 10], then group by x using take 2]
+
+mc24.hs:9:15:
+    No instance for (Num a1)
+      arising from the literal `1'
+    The type variable `a1' is ambiguous
+    Possible fix: add a type signature that fixes these type variable(s)
+    In the expression: 1
+    In a stmt of a monad comprehension: x <- [1 .. 10]
+    In a stmt of a monad comprehension: then group by x using take 2
+
+mc24.hs:10:9:
+    No instance for (Monad t0)
+      arising from a statement in a monad comprehension
+    The type variable `t0' is ambiguous
+    Possible fix: add a type signature that fixes these type variable(s)
+    In a stmt of a monad comprehension: then group by x using take 2
+    In the expression:
+      [length x | x <- [1 .. 10], then group by x using take 2]
+    In an equation for `foo':
+        foo = [length x | x <- [1 .. 10], then group by x using take 2]
+
 mc24.hs:10:31:
-    Couldn't match expected type `a -> t0' with actual type `[a0]'
-    Expected type: (a -> t0) -> [a] -> t1 (t2 a)
+    Couldn't match type `[a0]' with `a -> a1'
+    Expected type: (a -> a1) -> [a] -> t0 [a]
       Actual type: [a0] -> [a0]
     In the return type of a call of `take'
     Probable cause: `take' is applied to too many arguments
     In the expression: take 2
+    In a stmt of a monad comprehension: then group by x using take 2