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/T2414.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/T2414.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/T2414.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T2414.stderr b/testsuite/tests/typecheck/should_fail/T2414.stderr index 5fa8f0060a..53ea2b11e3 100644 --- a/testsuite/tests/typecheck/should_fail/T2414.stderr +++ b/testsuite/tests/typecheck/should_fail/T2414.stderr @@ -1,6 +1,6 @@ T2414.hs:9:13: - Occurs check: cannot construct the infinite type: b0 = (Bool, b0) + Occurs check: cannot construct the infinite type: b0 ~ (Bool, b0) Expected type: b0 -> Maybe (Bool, b0) Actual type: b0 -> Maybe b0 In the first argument of `unfoldr', namely `Just' |