blob: a7f524cf99789a7b39535d5cd672452e84791b81 (
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
|
RepPolyRule1.hs:11:51: error: [GHC-55287]
• The argument ‘x’ of ‘f’
does not have a fixed runtime representation.
Its type is:
a1 :: TYPE c0
Cannot unify ‘rep’ with the type variable ‘c0’
because it is not a concrete ‘RuntimeRep’.
• In the first argument of ‘f’, namely ‘x’
In the expression: f x
When checking the rewrite rule "f_id"
• Relevant bindings include
x :: a2 (bound at RepPolyRule1.hs:11:26)
RepPolyRule1.hs:11:55: error: [GHC-55287]
• The argument ‘x’ of ‘f’
does not have a fixed runtime representation.
Its type is:
a1 :: TYPE c0
Cannot unify ‘rep’ with the type variable ‘c0’
because it is not a concrete ‘RuntimeRep’.
• In the expression: x
When checking the rewrite rule "f_id"
• Relevant bindings include
x :: a2 (bound at RepPolyRule1.hs:11:26)
|