Accept error wibbles

1 files changed, 16 insertions, 13 deletions

diff --git a/testsuite/tests/typecheck/should_fail/tcfail181.stderr b/testsuite/tests/typecheck/should_fail/tcfail181.stderr
index 0e00427aa5..8110f2e309 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail181.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail181.stderr
@@ -1,13 +1,16 @@
-
-tcfail181.hs:17:9:
-    No instance for (Monad m0)
-      arising from a use of `foo'
-    The type variable `m0' 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 the expression: foo
-    In the expression: foo {bar = return True}
-    In an equation for `wog': wog x = foo {bar = return True}
+

+tcfail181.hs:17:9:

+    Could not deduce (Monad m0) arising from a use of `foo'

+    from the context (Monad m)

+      bound by the inferred type of

+               wog :: Monad m => t -> Something (m Bool) e

+      at tcfail181.hs:17:1-30

+    The type variable `m0' 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 the expression: foo

+    In the expression: foo {bar = return True}

+    In an equation for `wog': wog x = foo {bar = return True}