diff options
Diffstat (limited to 'testsuite/tests/codeGen/should_fail/T13233_elab.stderr')
| -rw-r--r-- | testsuite/tests/codeGen/should_fail/T13233_elab.stderr | 27 |
1 files changed, 18 insertions, 9 deletions
diff --git a/testsuite/tests/codeGen/should_fail/T13233_elab.stderr b/testsuite/tests/codeGen/should_fail/T13233_elab.stderr index 6a069752f7..ec9a04d726 100644 --- a/testsuite/tests/codeGen/should_fail/T13233_elab.stderr +++ b/testsuite/tests/codeGen/should_fail/T13233_elab.stderr @@ -1,15 +1,24 @@ +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: - 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: + (#,#) @rep1 @rep2 @a @b :: a -> b -> (# a, b #) + Levity-polymorphic arguments: + a :: TYPE rep1 + b :: TYPE rep2 T13233_elab.hs:33:10: error: Cannot use function with levity-polymorphic arguments: - mkWeak# @rep @a @b @c :: a - -> b - -> (State# RealWorld -> (# State# RealWorld, c #)) - -> State# RealWorld - -> (# State# RealWorld, Weak# b #) + mkWeak# @rep @a @b @c + :: a + -> b + -> (State# RealWorld -> (# State# RealWorld, c #)) + -> State# RealWorld + -> (# State# RealWorld, Weak# b #) Levity-polymorphic arguments: a :: TYPE rep |