testsuite/tests/typecheck/should_fail/T2414.stderr


1
2
3
4
5
6
7


T2414.hs:9:13:
    Occurs check: cannot construct the infinite type: b0 ~ (Bool, b0)
    Expected type: b0 -> Maybe (Bool, b0)
      Actual type: b0 -> Maybe b0
    In the first argument of ‛unfoldr’, namely ‛Just’
    In the expression: unfoldr Just