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/tcfail097.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/tcfail097.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail097.stderr | 15 |
1 files changed, 9 insertions, 6 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail097.stderr b/testsuite/tests/typecheck/should_fail/tcfail097.stderr index 2fabae4b40..e7dadd4a6c 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail097.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail097.stderr @@ -1,6 +1,9 @@ - -tcfail097.hs:5:6: - Ambiguous constraint `Eq a' - At least one of the forall'd type variables mentioned by the constraint - must be reachable from the type after the '=>' - In the type signature for `f': f :: Eq a => Int -> Int +
+tcfail097.hs:5:6:
+ Could not deduce (Eq a0) arising from the ambiguity check for `f'
+ from the context (Eq a)
+ bound by the type signature for f :: Eq a => Int -> Int
+ at tcfail097.hs:5:6-23
+ The type variable `a0' is ambiguous
+ In the ambiguity check for: forall a. Eq a => Int -> Int
+ In the type signature for `f': f :: Eq a => Int -> Int
|