Fix #13233 by checking for lev-poly primops
[ghc.git] / testsuite / tests / codeGen / should_fail / T13233.stderr
1
2 T13233.hs:14:11: error:
3     Cannot use primitive with levity-polymorphic arguments:
4       GHC.Prim.(#,#) :: a -> a -> (# a, a #)
5     Levity-polymorphic arguments:
6       a :: TYPE rep
7       a :: TYPE rep
8
9 T13233.hs:22:16: error:
10     Cannot use primitive with levity-polymorphic arguments:
11       GHC.Prim.(#,#) :: forall (a :: TYPE rep1) (b :: TYPE rep2).
12                         a -> b -> (# a, b #)
13     Levity-polymorphic arguments:
14       a :: TYPE rep1
15       b :: TYPE rep2
16
17 T13233.hs:27:10: error:
18     Cannot use primitive with levity-polymorphic arguments:
19       mkWeak# :: a
20                  -> b
21                  -> (State# RealWorld -> (# State# RealWorld, c #))
22                  -> State# RealWorld
23                  -> (# State# RealWorld, Weak# b #)
24     Levity-polymorphic arguments: a :: TYPE rep