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


1
2
3
4
5
6
7
8


tcfail159.hs:9:11:
    Kind incompatibility when matching types:
      t0 :: *
      (# Int, Int #) :: (#)
    In the pattern: ~(# p, q #)
    In a case alternative: ~(# p, q #) -> p
    In the expression: case h x of { ~(# p, q #) -> p }