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