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/tcfail002.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/tcfail002.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail002.stderr | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail002.stderr b/testsuite/tests/typecheck/should_fail/tcfail002.stderr index 12a77d0cc8..3a9c89c13d 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail002.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail002.stderr @@ -1,5 +1,8 @@ tcfail002.hs:4:7: - Occurs check: cannot construct the infinite type: t0 = [t0] + Occurs check: cannot construct the infinite type: t ~ [t] + Relevant bindings include + c :: [t] -> t (bound at tcfail002.hs:3:1) + z :: [t] (bound at tcfail002.hs:4:3) In the expression: z In an equation for `c': c z = z |