Visible type application
[ghc.git] / testsuite / tests / typecheck / should_fail / mc22.stderr
1
2 mc22.hs:9:9: error:
3     • No instance for (Functor t) arising from a use of ‘fmap’
4       Possible fix:
5         add (Functor t) to the context of
6           a type expected by the context:
7             (a -> b) -> t a -> t b
8           or the inferred type of foo :: [t [Char]]
9     • In the expression: fmap
10       In a stmt of a monad comprehension: then group using take 5
11       In the expression:
12         [x + 1 | x <- ["Hello", "World"], then group using take 5]
13
14 mc22.hs:10:26: error:
15     • Couldn't match type ‘a’ with ‘t a’
16       ‘a’ is a rigid type variable bound by
17         a type expected by the context:
18           forall a. [a] -> [t a]
19         at mc22.hs:9:9
20       Expected type: [a] -> [t a]
21         Actual type: [t a] -> [t a]
22     • In the expression: take 5
23       In a stmt of a monad comprehension: then group using take 5
24       In the expression:
25         [x + 1 | x <- ["Hello", "World"], then group using take 5]
26     • Relevant bindings include
27         foo :: [t [Char]] (bound at mc22.hs:8:1)