From b2fb5b96b453f581601dab26321712aa29b9d47b Mon Sep 17 00:00:00 2001 From: Simon Peyton Jones Date: Fri, 9 Mar 2012 13:31:38 +0000 Subject: Raft of wibbles after refactoring type-class constraint errors ...in response to Trac #5858 --- testsuite/tests/typecheck/should_fail/tcfail208.stderr | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) (limited to 'testsuite/tests/typecheck/should_fail/tcfail208.stderr') 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) -- cgit v1.2.1