030bf6e52a48154663e6ddf733978977a38d5554
[ghc.git] / testsuite / tests / typecheck / should_fail / T2414.stderr
1
2 T2414.hs:9:13:
3     Occurs check: cannot construct the infinite type: b0 = (Bool, b0)
4     Expected type: b0 -> Maybe (Bool, b0)
5       Actual type: b0 -> Maybe b0
6     In the first argument of `unfoldr', namely `Just'
7     In the expression: unfoldr Just