summaryrefslogtreecommitdiff
path: root/testsuite/tests/arrows
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/arrows')
-rw-r--r--testsuite/tests/arrows/should_fail/arrowfail001.stderr17
1 files changed, 8 insertions, 9 deletions
diff --git a/testsuite/tests/arrows/should_fail/arrowfail001.stderr b/testsuite/tests/arrows/should_fail/arrowfail001.stderr
index 91ec965715..68ee7cf9e2 100644
--- a/testsuite/tests/arrows/should_fail/arrowfail001.stderr
+++ b/testsuite/tests/arrows/should_fail/arrowfail001.stderr
@@ -1,9 +1,8 @@
-
-arrowfail001.hs:16:36:
- Ambiguous type variable `a' in the constraint:
- (Foo a) arising from a use of `foo'
- Probable fix: add a type signature that fixes these type variable(s)
- 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: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 }