Fold template-haskell.git into ghc.git (re #8545)
[ghc.git] / testsuite / tests / typecheck / should_fail / mc22.stderr
1
2 mc22.hs:10:9:
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: (a -> b) -> t a -> t b
7         or the inferred type of foo :: [t [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 ‘t a’
15       ‘a’ is a rigid type variable bound by
16           a type expected by the context: [a] -> [t a] at mc22.hs:10:9
17     Expected type: [a] -> [t a]
18       Actual type: [a] -> [a]
19     Relevant bindings include foo :: [t [Char]] (bound at mc22.hs:8:1)
20     In the expression: take 5
21     In a stmt of a monad comprehension: then group using take 5