summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/mc21.stderr
blob: 014628f94a7ad7e414ea3adff2b021a59c009238 (plain)
1
2
3
4
5
6
7
8
9

mc21.hs:12:26: error:
    • Occurs check: cannot construct the infinite type: a ~ [a]
      Expected type: [a] -> [[a]]
        Actual type: [[a]] -> [[a]]
    • In the expression: take 5
      In a stmt of a monad comprehension: then group using take 5
      In the expression:
        [GHC.List.length x | x <- [Gnorf, Brain], then group using take 5]