diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/UnliftedNewtypesLevityBinder.stderr')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/UnliftedNewtypesLevityBinder.stderr | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/testsuite/tests/typecheck/should_fail/UnliftedNewtypesLevityBinder.stderr b/testsuite/tests/typecheck/should_fail/UnliftedNewtypesLevityBinder.stderr index 70746fd60a..a33a957e9d 100644 --- a/testsuite/tests/typecheck/should_fail/UnliftedNewtypesLevityBinder.stderr +++ b/testsuite/tests/typecheck/should_fail/UnliftedNewtypesLevityBinder.stderr @@ -1,8 +1,6 @@ UnliftedNewtypesLevityBinder.hs:16:7: error: - Cannot use function with levity-polymorphic arguments: - IdentC :: a -> Ident a - (Note that levity-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 + A levity-polymorphic type is not allowed here: + Type: a + Kind: TYPE r + When trying to create a variable of type: a |