diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-03-09 13:31:38 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-03-09 13:31:38 +0000 |
| commit | b2fb5b96b453f581601dab26321712aa29b9d47b (patch) | |
| tree | 1f8516fe033cb25cd2c48290761c8e7da6724348 /testsuite/tests/typecheck/should_fail/tcfail208.stderr | |
| parent | a56ce4f78f37817cc4ab370e7b74747f9ad050b2 (diff) | |
| download | haskell-b2fb5b96b453f581601dab26321712aa29b9d47b.tar.gz | |
Raft of wibbles after refactoring type-class constraint errors
...in response to Trac #5858
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail208.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail208.stderr | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail208.stderr b/testsuite/tests/typecheck/should_fail/tcfail208.stderr index 0a4ce1cd4d..d606115ad1 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail208.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail208.stderr @@ -5,9 +5,6 @@ tcfail208.hs:4:19: bound by the type signature for f :: (Monad m, Eq a) => a -> m a -> Bool at tcfail208.hs:3:6-40 - Possible fix: - add (Eq (m a)) to the context of - the type signature for f :: (Monad m, Eq a) => a -> m a -> Bool - or add an instance declaration for (Eq (m a)) + Possible fix: add an instance declaration for (Eq (m a)) In the expression: (return x == y) In an equation for `f': f x y = (return x == y) |