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