summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail133.stderr
diff options
context:
space:
mode:
authorSimon Peyton Jones <simonpj@microsoft.com>2012-09-21 12:19:56 +0100
committerSimon Peyton Jones <simonpj@microsoft.com>2012-09-21 12:19:56 +0100
commitf1557f3b7cfb0b036d0ab350ffaa910f95ff58cc (patch)
treed92417d310e276977214ab989615b17c71ddb5d4 /testsuite/tests/typecheck/should_fail/tcfail133.stderr
parent7095121c528fa81a27405009801855ec62fd8a7c (diff)
downloadhaskell-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.stderr3
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)