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/tcfail133.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/tcfail133.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail133.stderr | 12 |
1 files changed, 8 insertions, 4 deletions
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) |