summaryrefslogtreecommitdiff
path: root/testsuite/tests/codeGen/should_fail/T13233_elab.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/codeGen/should_fail/T13233_elab.stderr')
-rw-r--r--testsuite/tests/codeGen/should_fail/T13233_elab.stderr8
1 files changed, 4 insertions, 4 deletions
diff --git a/testsuite/tests/codeGen/should_fail/T13233_elab.stderr b/testsuite/tests/codeGen/should_fail/T13233_elab.stderr
index 1b84b9bf95..6242873514 100644
--- a/testsuite/tests/codeGen/should_fail/T13233_elab.stderr
+++ b/testsuite/tests/codeGen/should_fail/T13233_elab.stderr
@@ -1,14 +1,14 @@
T13233_elab.hs:17:11: error:
- Cannot use function with levity-polymorphic arguments:
+ Cannot use function with representation-polymorphic arguments:
(#,#) @rep @rep @a @a :: a -> a -> (# a, a #)
- Levity-polymorphic arguments:
+ Representation-polymorphic arguments:
a :: TYPE rep
a :: TYPE rep
T13233_elab.hs:25:16: error:
- Cannot use function with levity-polymorphic arguments:
+ Cannot use function with representation-polymorphic arguments:
(#,#) @rep1 @rep2 @a @b :: a -> b -> (# a, b #)
- Levity-polymorphic arguments:
+ Representation-polymorphic arguments:
a :: TYPE rep1
b :: TYPE rep2