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:
    Kind incompatibility when matching types:
      t0 :: ??
      (# Int, Int #) :: (#)
    In the expression: (r :: (# Int, Int #))
    In a case alternative: r -> (r :: (# Int, Int #))
    In the expression: case t of { 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 }