diff options
author | Simon Peyton Jones <simonpj@microsoft.com> | 2011-07-23 18:13:15 +0100 |
---|---|---|
committer | Simon Peyton Jones <simonpj@microsoft.com> | 2011-07-23 18:13:15 +0100 |
commit | 1bcd34c5b1ef5f49153d8de26e1906d7d24194f0 (patch) | |
tree | 209d87ee795888e81ef547049a197787e5778d32 /testsuite/tests/arrows | |
parent | e5cda42fc21c395b5accdc21fa50c316ee58e934 (diff) | |
download | haskell-1bcd34c5b1ef5f49153d8de26e1906d7d24194f0.tar.gz |
Improved error report
Diffstat (limited to 'testsuite/tests/arrows')
-rw-r--r-- | testsuite/tests/arrows/should_fail/arrowfail001.stderr | 17 |
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 }
|