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/typecheck/should_fail/UnliftedNewtypesCoerceFail.stderr | |
parent | 61c51c00b6e12e309bc5643e89330b93d86f5449 (diff) | |
download | haskell-472c2bf003e9f3bb93b82265f2a0a7124f944421.tar.gz |
Reword: representation instead of levity
fixes #19756, updates haddock submodule
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/UnliftedNewtypesCoerceFail.stderr')
-rw-r--r-- | testsuite/tests/typecheck/should_fail/UnliftedNewtypesCoerceFail.stderr | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/testsuite/tests/typecheck/should_fail/UnliftedNewtypesCoerceFail.stderr b/testsuite/tests/typecheck/should_fail/UnliftedNewtypesCoerceFail.stderr index 1c39c9133b..9867100a63 100644 --- a/testsuite/tests/typecheck/should_fail/UnliftedNewtypesCoerceFail.stderr +++ b/testsuite/tests/typecheck/should_fail/UnliftedNewtypesCoerceFail.stderr @@ -1,8 +1,9 @@ UnliftedNewtypesCoerceFail.hs:15:8: error: - Cannot use function with levity-polymorphic arguments: + Cannot use function with representation-polymorphic arguments: coerce :: x -> y - (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: x :: TYPE rep + Representation-polymorphic arguments: x :: TYPE rep |