testsuite/tests/typecheck/should_fail/tcfail180.stderr


1
2
3
4
5
6


tcfail180.hs:10:9: error: [GHC-83865]
    • 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 -> ()