Re-engineer Given flatten-skolems
[ghc.git] / testsuite / tests / typecheck / should_fail / mc21.stderr
1
2 mc21.hs:12:26: error:
3     • Occurs check: cannot construct the infinite type: a ~ [a]
4       Expected type: [a] -> [[a]]
5         Actual type: [[a]] -> [[a]]
6     • In the expression: take 5
7       In a stmt of a monad comprehension: then group using take 5
8       In the expression:
9         [GHC.List.length x | x <- [Gnorf, Brain], then group using take 5]