diff options
Diffstat (limited to 'testsuite/tests/codeGen/should_fail/T13233.stderr')
| -rw-r--r-- | testsuite/tests/codeGen/should_fail/T13233.stderr | 18 |
1 files changed, 10 insertions, 8 deletions
diff --git a/testsuite/tests/codeGen/should_fail/T13233.stderr b/testsuite/tests/codeGen/should_fail/T13233.stderr index 2609e41d97..a00ccd536a 100644 --- a/testsuite/tests/codeGen/should_fail/T13233.stderr +++ b/testsuite/tests/codeGen/should_fail/T13233.stderr @@ -1,20 +1,22 @@ T13233.hs:14:11: error: - Cannot use function with levity-polymorphic arguments: + Cannot use function with representation-polymorphic arguments: (#,#) :: a -> a -> (# a, a #) - (Note that levity-polymorphic primops such as 'coerce' and unboxed tuples - are eta-expanded internally because they must occur fully saturated. + (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.) - Levity-polymorphic arguments: + Representation-polymorphic arguments: a :: TYPE rep a :: TYPE rep T13233.hs:22:16: error: - Cannot use function with levity-polymorphic arguments: + Cannot use function with representation-polymorphic arguments: (#,#) :: a -> b -> (# a, b #) - (Note that levity-polymorphic primops such as 'coerce' and unboxed tuples - are eta-expanded internally because they must occur fully saturated. + (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.) - Levity-polymorphic arguments: + Representation-polymorphic arguments: a :: TYPE rep1 b :: TYPE rep2 |