summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail159.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/tcfail159.stderr')
-rw-r--r--testsuite/tests/typecheck/should_fail/tcfail159.stderr9
1 files changed, 4 insertions, 5 deletions
diff --git a/testsuite/tests/typecheck/should_fail/tcfail159.stderr b/testsuite/tests/typecheck/should_fail/tcfail159.stderr
index e28363a707..412ba47d3f 100644
--- a/testsuite/tests/typecheck/should_fail/tcfail159.stderr
+++ b/testsuite/tests/typecheck/should_fail/tcfail159.stderr
@@ -1,7 +1,6 @@
tcfail159.hs:9:11: error:
- Couldn't match a lifted type with an unlifted type
- When matching the kind of ‘(# Int, Int #)’
- In the pattern: ~(# p, q #)
- In a case alternative: ~(# p, q #) -> p
- In the expression: case h x of { ~(# p, q #) -> p }
+ • Expecting a lifted type, but got an unlifted
+ • In the pattern: ~(# p, q #)
+ In a case alternative: ~(# p, q #) -> p
+ In the expression: case h x of { ~(# p, q #) -> p }