diff options
author | Simon Peyton Jones <simonpj@microsoft.com> | 2013-01-08 08:30:05 +0000 |
---|---|---|
committer | Simon Peyton Jones <simonpj@microsoft.com> | 2013-01-08 08:30:05 +0000 |
commit | 441a87a10e0a97c7af8beb19dfb02eb375c0e01f (patch) | |
tree | 32cc04cdf7bb37361195738647b59ed5393d9963 /testsuite/tests/typecheck/should_fail/tcfail040.stderr | |
parent | 8f01d1e494edfe94810d73705e61acb0d1e695c2 (diff) | |
download | haskell-441a87a10e0a97c7af8beb19dfb02eb375c0e01f.tar.gz |
Wibbles to error messages and tests, following ambiguity-check changes
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail040.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail040.stderr | 19 |
1 files changed, 9 insertions, 10 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail040.stderr b/testsuite/tests/typecheck/should_fail/tcfail040.stderr index 8ee305f03f..003cb9f6d0 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail040.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail040.stderr @@ -1,10 +1,9 @@ - -tcfail040.hs:19:5: - No instance for (ORD a0) arising from a use of `<<' - The type variable `a0' is ambiguous - Possible fix: add a type signature that fixes these type variable(s) - Note: there is a potential instance available: - instance ORD (a -> b) -- Defined at tcfail040.hs:17:10 - In the first argument of `(===)', namely `(<<)' - In the expression: (<<) === (<<) - In an equation for `f': f = (<<) === (<<) +
+tcfail040.hs:19:5:
+ No instance for (ORD a0) arising from a use of `<<'
+ The type variable `a0' is ambiguous
+ Note: there is a potential instance available:
+ instance ORD (a -> b) -- Defined at tcfail040.hs:17:10
+ In the first argument of `(===)', namely `(<<)'
+ In the expression: (<<) === (<<)
+ In an equation for `f': f = (<<) === (<<)
|