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/mc25.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/mc25.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/mc25.stderr | 17 |
1 files changed, 9 insertions, 8 deletions
diff --git a/testsuite/tests/typecheck/should_fail/mc25.stderr b/testsuite/tests/typecheck/should_fail/mc25.stderr index 643f35278d..3925f833f0 100644 --- a/testsuite/tests/typecheck/should_fail/mc25.stderr +++ b/testsuite/tests/typecheck/should_fail/mc25.stderr @@ -1,8 +1,9 @@ -
-mc25.hs:9:46:
- Couldn't match type `Int' with `a -> t0'
- Expected type: (a -> t0) -> [a] -> [t1 a]
- Actual type: Int -> [a] -> [a]
- In the expression: take
- In a stmt of a monad comprehension: then group by x using take
- In the expression: [x | x <- [1 .. 10], then group by x using take]
+ +mc25.hs:9:46: + Couldn't match type `Int' with `a -> t' + Expected type: (a -> t) -> [a] -> [t1 a] + Actual type: Int -> [a] -> [a] + Relevant bindings include z :: [t1 t] (bound at mc25.hs:9:1) + In the expression: take + In a stmt of a monad comprehension: then group by x using take + In the expression: [x | x <- [1 .. 10], then group by x using take] |