diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail115.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/tcfail115.stderr | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail115.stderr b/testsuite/tests/typecheck/should_fail/tcfail115.stderr new file mode 100644 index 0000000000..fd1a02c02d --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/tcfail115.stderr @@ -0,0 +1,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 } |