diff options
Diffstat (limited to 'testsuite/tests/arrows/should_fail/arrowfail001.stderr')
| -rw-r--r-- | testsuite/tests/arrows/should_fail/arrowfail001.stderr | 13 |
1 files changed, 1 insertions, 12 deletions
diff --git a/testsuite/tests/arrows/should_fail/arrowfail001.stderr b/testsuite/tests/arrows/should_fail/arrowfail001.stderr index 5ba0efdfa1..261aa278a4 100644 --- a/testsuite/tests/arrows/should_fail/arrowfail001.stderr +++ b/testsuite/tests/arrows/should_fail/arrowfail001.stderr @@ -1,17 +1,6 @@ -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' + 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': |