6259dfc2a233c527f7345afae45b66d4b82386f4
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail193.stderr
1
2 tcfail193.hs:10:31: error:
3     • Couldn't match type ‘a’ with ‘[a]’
4       ‘a’ is a rigid type variable bound by
5         a type expected by the context:
6           forall a. [a] -> [a]
7         at tcfail193.hs:10:10-35
8       Expected type: [a] -> [a]
9         Actual type: [a] -> [[a]]
10     • In the expression: inits
11       In a stmt of a list comprehension: then inits
12       In the expression: [x | x <- [3, 2, 1], then inits]