testsuite/tests/typecheck/should_fail/tcfail203a.stderr


1
2
3
4
5
6


tcfail203a.hs:10:16:
    A lazy (~) pattern cannot contain unlifted types: ~(c, (I# x))
    In the pattern: ~(c, (I# x))
    In the pattern: (b, ~(c, (I# x)))
    In the pattern: !(b, ~(c, (I# x)))