diff options
Diffstat (limited to 'testsuite/tests/codeGen/should_fail/T13233_elab.stderr')
-rw-r--r-- | testsuite/tests/codeGen/should_fail/T13233_elab.stderr | 24 |
1 files changed, 5 insertions, 19 deletions
diff --git a/testsuite/tests/codeGen/should_fail/T13233_elab.stderr b/testsuite/tests/codeGen/should_fail/T13233_elab.stderr index 40a12ecd62..6a069752f7 100644 --- a/testsuite/tests/codeGen/should_fail/T13233_elab.stderr +++ b/testsuite/tests/codeGen/should_fail/T13233_elab.stderr @@ -1,25 +1,11 @@ -T13233_elab.hs:17:11: error: - Cannot use function with levity-polymorphic arguments: - (#,#) @rep @rep @a @a :: a -> a -> (# a, a #) - Levity-polymorphic arguments: - a :: TYPE rep - a :: TYPE rep - T13233_elab.hs:25:16: error: - Cannot use function with levity-polymorphic arguments: - /\(@(rep1 :: RuntimeRep)). - /\(@(rep2 :: RuntimeRep)). - /\(@(a :: TYPE rep1)). - /\(@(b :: TYPE rep2)). - (#,#) @rep1 @rep2 @a @b :: forall {rep1 :: RuntimeRep} - {rep2 :: RuntimeRep} {a :: TYPE rep1} {b :: TYPE rep2}. - a -> b -> (# a, b #) - Levity-polymorphic arguments: - a :: TYPE rep1 - b :: TYPE rep2 + A levity-polymorphic type is not allowed here: + Type: a + Kind: TYPE rep1 + When trying to create a variable of type: a -T13233_elab.hs:33:10: +T13233_elab.hs:33:10: error: Cannot use function with levity-polymorphic arguments: mkWeak# @rep @a @b @c :: a -> b |