testsuite/tests/ghc-regress/typecheck/should_fail/tcfail180.stderr


1
2
3
4
5
6


tcfail180.hs:10:9:
    Couldn't match expected type `f0 b0' with actual type `Bool'
    In the pattern: True
    In a case alternative: True -> ()
    In the expression: case p of { True -> () }