diff options
Diffstat (limited to 'testsuite/tests/polykinds/T14561.stderr')
| -rw-r--r-- | testsuite/tests/polykinds/T14561.stderr | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/testsuite/tests/polykinds/T14561.stderr b/testsuite/tests/polykinds/T14561.stderr index 16e3be33b2..098a31127f 100644 --- a/testsuite/tests/polykinds/T14561.stderr +++ b/testsuite/tests/polykinds/T14561.stderr @@ -1,8 +1,9 @@ T14561.hs:12:9: error: - Cannot use function with levity-polymorphic arguments: + Cannot use function with representation-polymorphic arguments: unsafeCoerce# :: 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: a :: TYPE r + Representation-polymorphic arguments: a :: TYPE r |