Wibbles to error messages, following the fix for Trac #7851
[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