summaryrefslogtreecommitdiff
path: root/testsuite/tests/codeGen/should_fail/T13233.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/codeGen/should_fail/T13233.stderr')
-rw-r--r--testsuite/tests/codeGen/should_fail/T13233.stderr22
1 files changed, 0 insertions, 22 deletions
diff --git a/testsuite/tests/codeGen/should_fail/T13233.stderr b/testsuite/tests/codeGen/should_fail/T13233.stderr
deleted file mode 100644
index a00ccd536a..0000000000
--- a/testsuite/tests/codeGen/should_fail/T13233.stderr
+++ /dev/null
@@ -1,22 +0,0 @@
-
-T13233.hs:14:11: error:
- Cannot use function with representation-polymorphic arguments:
- (#,#) :: a -> a -> (# a, a #)
- (Note that representation-polymorphic primops,
- such as 'coerce' and unboxed tuples, are eta-expanded
- internally because they must occur fully saturated.
- Use -fprint-typechecker-elaboration to display the full expression.)
- Representation-polymorphic arguments:
- a :: TYPE rep
- a :: TYPE rep
-
-T13233.hs:22:16: error:
- Cannot use function with representation-polymorphic arguments:
- (#,#) :: a -> b -> (# a, b #)
- (Note that representation-polymorphic primops,
- such as 'coerce' and unboxed tuples, are eta-expanded
- internally because they must occur fully saturated.
- Use -fprint-typechecker-elaboration to display the full expression.)
- Representation-polymorphic arguments:
- a :: TYPE rep1
- b :: TYPE rep2