blob: f99d0c740af3e52f2df719be9002fd70bd45b57c (
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
25
26
|
RepPolyMagic.hs:12:7: error:
• Unsaturated use of a representation-polymorphic primitive function.
The second argument of ‘seq’
does not have a fixed runtime representation.
Its type is:
b0 :: TYPE c1
Cannot unify ‘r’ with the type variable ‘c1’
because it is not a concrete ‘RuntimeRep’.
• In the expression: seq
In an equation for ‘foo’: foo = seq
• Relevant bindings include
foo :: a -> b -> b (bound at RepPolyMagic.hs:12:1)
RepPolyMagic.hs:15:7: error:
• Unsaturated use of a representation-polymorphic primitive function.
The second argument of ‘oneShot’
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: oneShot
In an equation for ‘bar’: bar = oneShot
• Relevant bindings include
bar :: (a -> a) -> a -> a (bound at RepPolyMagic.hs:15:1)
|
