diff options
Diffstat (limited to 'testsuite/tests/codeGen/should_fail/T13233.stderr')
| -rw-r--r-- | testsuite/tests/codeGen/should_fail/T13233.stderr | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/testsuite/tests/codeGen/should_fail/T13233.stderr b/testsuite/tests/codeGen/should_fail/T13233.stderr index c3683138f8..1531abed8e 100644 --- a/testsuite/tests/codeGen/should_fail/T13233.stderr +++ b/testsuite/tests/codeGen/should_fail/T13233.stderr @@ -1,23 +1,22 @@ T13233.hs:14:11: error: - Cannot use primitive with levity-polymorphic arguments: + Cannot use function with levity-polymorphic arguments: GHC.Prim.(#,#) :: a -> a -> (# a, a #) Levity-polymorphic arguments: a :: TYPE rep a :: TYPE rep T13233.hs:22:16: error: - Cannot use primitive with levity-polymorphic arguments: - GHC.Prim.(#,#) :: forall (rep1 :: RuntimeRep) (rep2 :: RuntimeRep) (a :: TYPE - rep1) (b :: TYPE - rep2). + Cannot use function with levity-polymorphic arguments: + GHC.Prim.(#,#) :: forall (rep1 :: RuntimeRep) (rep2 :: RuntimeRep) + (a :: TYPE rep1) (b :: TYPE rep2). a -> b -> (# a, b #) Levity-polymorphic arguments: a :: TYPE rep1 b :: TYPE rep2 T13233.hs:27:10: error: - Cannot use primitive with levity-polymorphic arguments: + Cannot use function with levity-polymorphic arguments: mkWeak# :: a -> b -> (State# RealWorld -> (# State# RealWorld, c #)) |