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