summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail193.stderr
blob: 028e2f02321413844ab1e6c3ffe64cc50925a1a4 (plain)
1
2
3
4
5
6
7
8

tcfail193.hs:10:31: error:
    • Occurs check: cannot construct the infinite type: a ~ [a]
      Expected type: [a] -> [a]
        Actual type: [a] -> [[a]]
    • In the expression: inits
      In a stmt of a list comprehension: then inits
      In the expression: [x | x <- [3, 2, 1], then inits]