Accept error message changes

1 files changed, 18 insertions, 8 deletions

diff --git a/testsuite/tests/arrows/should_fail/arrowfail001.stderr b/testsuite/tests/arrows/should_fail/arrowfail001.stderr
index 68ee7cf9e2..5ba0efdfa1 100644
--- a/testsuite/tests/arrows/should_fail/arrowfail001.stderr
+++ b/testsuite/tests/arrows/should_fail/arrowfail001.stderr
@@ -1,8 +1,18 @@
-

-arrowfail001.hs:16:36:

-    No instance for (Foo a)

-      arising from a use of `foo'

-    In the expression: foo

-    In the expression: proc x -> case x of { Bar a -> foo -< a }

-    In an equation for `get':

-        get = proc x -> case x of { Bar a -> foo -< a }

+
+arrowfail001.hs:16:27:
+    Couldn't match expected type `a0' with actual type `a'
+      because type variable `a' would escape its scope
+    This (rigid, skolem) type variable is bound by
+      a pattern with constructor
+        Bar :: forall a. Foo a => a -> Bar,
+      in a case alternative
+    In the pattern: Bar a
+    In a case alternative: Bar a -> foo -< a
+    In the command: case x of { Bar a -> foo -< a }
+
+arrowfail001.hs:16:36:
+    No instance for (Foo a0) arising from a use of `foo'
+    In the expression: foo
+    In the expression: proc x -> case x of { Bar a -> foo -< a }
+    In an equation for `get':
+        get = proc x -> case x of { Bar a -> foo -< a }