diff options
author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-09-21 12:19:56 +0100 |
---|---|---|
committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-09-21 12:19:56 +0100 |
commit | f1557f3b7cfb0b036d0ab350ffaa910f95ff58cc (patch) | |
tree | d92417d310e276977214ab989615b17c71ddb5d4 /testsuite/tests/typecheck/should_fail/tcfail133.stderr | |
parent | 7095121c528fa81a27405009801855ec62fd8a7c (diff) | |
download | haskell-f1557f3b7cfb0b036d0ab350ffaa910f95ff58cc.tar.gz |
A ton of error message wibbles
Notably
* Showing relevant bindings
* Not suggesting add instance (Num T); see Trac #7222
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail133.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail133.stderr | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail133.stderr b/testsuite/tests/typecheck/should_fail/tcfail133.stderr index 08c9b9747d..48ea0ebae2 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail133.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail133.stderr @@ -20,9 +20,6 @@ tcfail133.hs:68:7: tcfail133.hs:68:14: No instance for (AddDigit (Zero :@ (One :@ One)) One a0) arising from a use of `add' - Possible fix: - add an instance declaration for - (AddDigit (Zero :@ (One :@ One)) One a0) In the second argument of `($)', namely `add (One :@ Zero) (One :@ One)' In the expression: show $ add (One :@ Zero) (One :@ One) |