blob: 695a4985bf8da9e1d979b179af1d643012842134 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
RepPolyRule3.hs:17:57: error:
• The argument ‘x’ of ‘g’
does not have a fixed runtime representation.
Its kind is:
TYPE (F 'WordRep)
(Use -fprint-explicit-coercions to see the full type.)
• In the expression: g x
When checking the rewrite rule "g_id"
RepPolyRule3.hs:23:52: error:
• The argument ‘x’ of ‘h’
does not have a fixed runtime representation.
Its kind is:
TYPE (F 'WordRep)
(Use -fprint-explicit-coercions to see the full type.)
• In the expression: h x
When checking the rewrite rule "h_id"
|
