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/tcfail043.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/tcfail043.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail043.stderr | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail043.stderr b/testsuite/tests/typecheck/should_fail/tcfail043.stderr index 3e52e69c56..606750091b 100644 --- a/testsuite/tests/typecheck/should_fail/tcfail043.stderr +++ b/testsuite/tests/typecheck/should_fail/tcfail043.stderr @@ -2,10 +2,13 @@ tcfail043.hs:38:17: No instance for (Ord_ a0) arising from a use of `gt' The type variable `a0' is ambiguous - Possible cause: the monomorphism restriction applied to the following: - search :: a0 -> [a0] -> Bool (bound at tcfail043.hs:37:1) + Possible cause: the monomorphism restriction applied to: `search' Probable fix: give these definition(s) an explicit type signature or use -XNoMonomorphismRestriction + Relevant bindings include + search :: a0 -> [a0] -> Bool (bound at tcfail043.hs:37:1) + a :: a0 (bound at tcfail043.hs:38:6) + bs :: [a0] (bound at tcfail043.hs:38:8) Note: there is a potential instance available: instance Ord_ Int -- Defined at tcfail043.hs:34:10 In the expression: gt (hd bs) a @@ -24,10 +27,13 @@ tcfail043.hs:38:17: tcfail043.hs:40:25: No instance for (Eq_ a0) arising from a use of `eq' The type variable `a0' is ambiguous - Possible cause: the monomorphism restriction applied to the following: - search :: a0 -> [a0] -> Bool (bound at tcfail043.hs:37:1) + Possible cause: the monomorphism restriction applied to: `search' Probable fix: give these definition(s) an explicit type signature or use -XNoMonomorphismRestriction + Relevant bindings include + search :: a0 -> [a0] -> Bool (bound at tcfail043.hs:37:1) + a :: a0 (bound at tcfail043.hs:38:6) + bs :: [a0] (bound at tcfail043.hs:38:8) Note: there are several potential instances: instance Eq_ a => Eq_ [a] -- Defined at tcfail043.hs:23:10 instance Eq_ Int -- Defined at tcfail043.hs:20:10 |