Error message wibbles, following TcErrors refactoring
[ghc.git] / testsuite / tests / typecheck / should_fail / mc25.stderr
1 \r
2 mc25.hs:9:24:\r
3     No instance for (Functor t1) arising from a use of ‛fmap’\r
4     Possible fix:\r
5       add (Functor t1) to the context of\r
6         a type expected by the context: (a -> b) -> t1 a -> t1 b\r
7         or the inferred type of z :: [t1 t]\r
8     In the expression: fmap\r
9     In a stmt of a monad comprehension: then group by x using take\r
10     In the expression: [x | x <- [1 .. 10], then group by x using take]\r
11 \r
12 mc25.hs:9:46:\r
13     Couldn't match type ‛Int’ with ‛a -> t’\r
14     Expected type: (a -> t) -> [a] -> [t1 a]\r
15       Actual type: Int -> [a] -> [a]\r
16     Relevant bindings include z :: [t1 t] (bound at mc25.hs:9:1)\r
17     In the expression: take\r
18     In a stmt of a monad comprehension: then group by x using take\r
19     In the expression: [x | x <- [1 .. 10], then group by x using take]\r