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/tcfail133.stderr | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) (limited to 'testsuite/tests/typecheck/should_fail/tcfail133.stderr') diff --git a/testsuite/tests/typecheck/should_fail/tcfail133.stderr b/testsuite/tests/typecheck/should_fail/tcfail133.stderr index fb506dd7d1..a0c2ca4ec0 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail133.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail133.stderr @@ -1,12 +1,18 @@ -tcfail133.hs:2:61: - Warning: -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language. +tcfail133.hs:2:61: Warning: + -XDatatypeContexts is deprecated: It was widely considered a misfeature, and has been removed from the Haskell language. tcfail133.hs:68:7: No instance for (Show a0) arising from a use of `show' The type variable `a0' is ambiguous Possible fix: add a type signature that fixes these type variable(s) + Note: there are several potential instances: + instance Show Zero -- Defined at tcfail133.hs:8:29 + instance Show One -- Defined at tcfail133.hs:9:28 + instance (Show a, Show b, Number a, Digit b) => Show (a :@ b) + -- Defined at tcfail133.hs:11:54 + ...plus 27 others In the expression: show In the expression: show $ add (One :@ Zero) (One :@ One) In an equation for `foo': @@ -15,8 +21,6 @@ tcfail133.hs:68:7: tcfail133.hs:68:14: No instance for (AddDigit (Zero :@ (One :@ One)) One a0) arising from a use of `add' - The type variable `a0' is ambiguous - Possible fix: add a type signature that fixes these type variable(s) Possible fix: add an instance declaration for (AddDigit (Zero :@ (One :@ One)) One a0) -- cgit v1.2.1