44a2eebdc7432ed320cb963cd0c49e8c7b69a753
[ghc.git] / testsuite / tests / typecheck / should_fail / mc22.stderr
1
2 mc22.hs:10:9:
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 foo :: t (t1 [Char])
8     In the expression: fmap
9     In a stmt of a monad comprehension: then group using take 5
10     In the expression:
11       [x + 1 | x <- ["Hello", "World"], then group using take 5]
12
13 mc22.hs:10:26:
14     Couldn't match type ‘a’ with ‘t1 a’
15       ‘a’ is a rigid type variable bound by
16           a type expected by the context: [a] -> t (t1 a) at mc22.hs:10:9
17     Expected type: [a] -> t (t1 a)
18       Actual type: [a] -> [a]
19     Relevant bindings include
20       foo :: t (t1 [Char]) (bound at mc22.hs:8:1)
21     In the expression: take 5
22     In a stmt of a monad comprehension: then group using take 5