summaryrefslogtreecommitdiff
path: root/testsuite/tests/rep-poly/T14561.stderr
blob: 8f102143ebb167f625a5ffff32092e67191ad447 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13

T14561.hs:12:9: error:
    • Unsaturated use of a representation-polymorphic primitive function.
      The first argument of ‘unsafeCoerce#’
      does not have a fixed runtime representation.
      Its type is:
        a0 :: TYPE c0
      Cannot unify ‘r’ with the type variable ‘c0’
      because it is not a concrete ‘RuntimeRep’.
    • In the expression: unsafeCoerce#
      In an equation for ‘badId’: badId = unsafeCoerce#
    • Relevant bindings include
        badId :: a -> a (bound at T14561.hs:12:1)