blob: f521ada91c43ff50abcad09f9fc7263150282a29 (
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
|
[1 of 1] Processing number-unknown
[1 of 2] Compiling NumberUnknown[sig] ( number-unknown\NumberUnknown.hsig, nothing )
[2 of 2] Compiling NumberStuff ( number-unknown\NumberStuff.hs, nothing )
RepPolyBackpack1.bkp:17:5: error:
The first pattern in the equation for ‘funcA’
does not have a fixed runtime representation.
Its type is:
Number l :: TYPE (Rep l)
RepPolyBackpack1.bkp:17:17: error:
• The argument ‘x’ of ‘plus’
does not have a fixed runtime representation.
Its type is:
Number l :: TYPE (Rep l)
• In the expression: plus x (multiply x y)
In an equation for ‘funcA’: funcA x y = plus x (multiply x y)
RepPolyBackpack1.bkp:17:25: error:
• The argument ‘x’ of ‘multiply’
does not have a fixed runtime representation.
Its type is:
Number l :: TYPE (Rep l)
• In the second argument of ‘plus’, namely ‘(multiply x y)’
In the expression: plus x (multiply x y)
In an equation for ‘funcA’: funcA x y = plus x (multiply x y)
|
