Accept error wibbles

1 files changed, 9 insertions, 51 deletions

diff --git a/testsuite/tests/typecheck/should_fail/mc23.stderr b/testsuite/tests/typecheck/should_fail/mc23.stderr
index 980d55c78a..632bac92c8 100644
--- a/testsuite/tests/typecheck/should_fail/mc23.stderr
+++ b/testsuite/tests/typecheck/should_fail/mc23.stderr
@@ -1,51 +1,9 @@
-
-mc23.hs:9:15:
-    No instance for (Enum b0)
-      arising from the arithmetic sequence `1 .. 10'
-    The type variable `b0' is ambiguous
-    Possible fix: add a type signature that fixes these type variable(s)
-    Note: there are several potential instances:
-      instance Enum Double -- Defined in `GHC.Float'
-      instance Enum Float -- Defined in `GHC.Float'
-      instance Integral a => Enum (GHC.Real.Ratio a)
-        -- Defined in `GHC.Real'
-      ...plus 7 others
-    In a stmt of a monad comprehension: x <- [1 .. 10]
-    In a stmt of a monad comprehension: then take 5 by x
-    In the expression: [x | x <- [1 .. 10], then take 5 by x]
-
-mc23.hs:9:16:
-    No instance for (Num b0) arising from the literal `1'
-    The type variable `b0' 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 expression: 1
-    In a stmt of a monad comprehension: x <- [1 .. 10]
-    In a stmt of a monad comprehension: then take 5 by x
-
-mc23.hs:9:24:
-    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)
-    Note: there are several potential instances:
-      instance Monad ((->) r) -- Defined in `GHC.Base'
-      instance Monad IO -- Defined in `GHC.Base'
-      instance Monad [] -- Defined in `GHC.Base'
-    In a stmt of a monad comprehension: then take 5 by x
-    In the expression: [x | x <- [1 .. 10], then take 5 by x]
-    In an equation for `z': z = [x | x <- [1 .. 10], then take 5 by x]
-
-mc23.hs:9:29:
-    Couldn't match type `[a0]' with `a -> b0'
-    Expected type: (a -> b0) -> [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 5
-    In a stmt of a monad comprehension: then take 5 by x
+

+mc23.hs:9:29:

+    Couldn't match type `[a0]' with `a -> b0'

+    Expected type: (a -> b0) -> [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 5

+    In a stmt of a monad comprehension: then take 5 by x