diff options
| author | sheaf <sam.derbyshire@gmail.com> | 2021-06-09 20:43:42 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-06-10 13:54:05 -0400 |
| commit | 472c2bf003e9f3bb93b82265f2a0a7124f944421 (patch) | |
| tree | 74767fe0b48521254b22350d4b1f34a3957adc06 /testsuite/tests/codeGen | |
| parent | 61c51c00b6e12e309bc5643e89330b93d86f5449 (diff) | |
| download | haskell-472c2bf003e9f3bb93b82265f2a0a7124f944421.tar.gz | |
Reword: representation instead of levity
fixes #19756, updates haddock submodule
Diffstat (limited to 'testsuite/tests/codeGen')
| -rw-r--r-- | testsuite/tests/codeGen/should_fail/T13233.stderr | 18 | ||||
| -rw-r--r-- | testsuite/tests/codeGen/should_fail/T13233_elab.stderr | 8 |
2 files changed, 14 insertions, 12 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 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 |