testsuite/tests/typecheck/should_fail/tcfail115.stderr


1
2
3
4
5
6
7
8
9
10
11
12
13
14


tcfail115.hs:9:24:
    Couldn't match kind `ArgKind' against `(#)'
    Kind incompatibility when matching types:
      t0 :: ArgKind
      (# Int, Int #) :: (#)
    In the expression: (r :: (# Int, Int #))
    In a case alternative: r -> (r :: (# Int, Int #))

tcfail115.hs:12:25:
    The variable `r' cannot have an unboxed tuple type: (# Int, Int #)
    In a case alternative: r -> r
    In the expression: case t x of { r -> r }
    In the expression: \ x -> case t x of { r -> r }