diff options
Diffstat (limited to 'testsuite/tests/codeGen/should_fail/T13233.stderr')
| -rw-r--r-- | testsuite/tests/codeGen/should_fail/T13233.stderr | 22 |
1 files changed, 18 insertions, 4 deletions
diff --git a/testsuite/tests/codeGen/should_fail/T13233.stderr b/testsuite/tests/codeGen/should_fail/T13233.stderr index 6f1636e544..0208b2695a 100644 --- a/testsuite/tests/codeGen/should_fail/T13233.stderr +++ b/testsuite/tests/codeGen/should_fail/T13233.stderr @@ -1,9 +1,23 @@ +T13233.hs:14:11: error: + Cannot use function with levity-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. + Use -fprint-typechecker-elaboration to display the full expression.) + Levity-polymorphic arguments: + a :: TYPE rep + a :: TYPE rep + T13233.hs:22:16: error: - A levity-polymorphic type is not allowed here: - Type: a - Kind: TYPE rep1 - When trying to create a variable of type: a + Cannot use function with levity-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. + Use -fprint-typechecker-elaboration to display the full expression.) + Levity-polymorphic arguments: + a :: TYPE rep1 + b :: TYPE rep2 T13233.hs:27:10: error: Cannot use function with levity-polymorphic arguments: |