blob: bbc72d01d88f043b91e5a1b1a638205eae8597fb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
T14561b.hs:12:9: error:
• Unsaturated use of a representation-polymorphic primitive function.
The first argument of ‘coerce’
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: coerce
In an equation for ‘badId’: badId = coerce
• Relevant bindings include
badId :: a -> a (bound at T14561b.hs:12:1)
|