blob: 89f5178c873a4812e4ba7e94ca87d12a4ff7d9fe (
plain)
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 }
|