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