summaryrefslogtreecommitdiff
path: root/testsuite/tests/codeGen/should_fail/T13233.stderr
blob: c1cbb97d21527b9ca89e666a128f41ae41310096 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

T13233.hs:14:11: error:
    Cannot use primitive 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 (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:
      mkWeak# :: a
                 -> b
                 -> (State# RealWorld -> (# State# RealWorld, c #))
                 -> State# RealWorld
                 -> (# State# RealWorld, Weak# b #)
    Levity-polymorphic arguments: a :: TYPE rep