Improve error message suppression
[ghc.git] / testsuite / tests / typecheck / should_fail / mc22.stderr
1 \r
2 mc22.hs:10:26: error:\r
3     • Couldn't match type ‘a’ with ‘t a’\r
4       ‘a’ is a rigid type variable bound by\r
5         a type expected by the context:\r
6           forall a. [a] -> [t a]\r
7         at mc22.hs:9:9\r
8       Expected type: [a] -> [t a]\r
9         Actual type: [t a] -> [t a]\r
10     • In the expression: take 5\r
11       In a stmt of a monad comprehension: then group using take 5\r
12       In the expression:\r
13         [x + 1 | x <- ["Hello", "World"], then group using take 5]\r
14     • Relevant bindings include\r
15         foo :: [t [Char]] (bound at mc22.hs:8:1)\r