From f1557f3b7cfb0b036d0ab350ffaa910f95ff58cc Mon Sep 17 00:00:00 2001 From: Simon Peyton Jones Date: Fri, 21 Sep 2012 12:19:56 +0100 Subject: A ton of error message wibbles Notably * Showing relevant bindings * Not suggesting add instance (Num T); see Trac #7222 --- testsuite/tests/typecheck/should_fail/tcfail001.stderr | 1 + 1 file changed, 1 insertion(+) (limited to 'testsuite/tests/typecheck/should_fail/tcfail001.stderr') diff --git a/testsuite/tests/typecheck/should_fail/tcfail001.stderr b/testsuite/tests/typecheck/should_fail/tcfail001.stderr index 7c9b8ba27b..85b6788a7f 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail001.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail001.stderr @@ -1,6 +1,7 @@ tcfail001.hs:9:2: Couldn't match expected type `[t0] -> [a0]' with actual type `[a]' + Relevant bindings include op :: [a] (bound at tcfail001.hs:9:2) The equation(s) for `op' have one argument, but its type `[a]' has none In the instance declaration for `A [a]' -- cgit v1.2.1