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

T2414.hs:9:13: error:
    • Occurs check: cannot construct the infinite type: b0 ~ (Bool, b0)
      Expected type: b0 -> Maybe (Bool, b0)
        Actual type: (Bool, b0) -> Maybe (Bool, b0)
    • In the first argument of ‘unfoldr’, namely ‘Just’
      In the expression: unfoldr Just
      In an equation for ‘f’: f = unfoldr Just