blob: 2a2de4283d3a67575436774b06d1c01eb5ed5f9c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
tc125.hs:16:10:
Warning: No explicit method or default declaration for `add'
In the instance declaration for `Add Z a a'
tc125.hs:17:10:
Warning: No explicit method or default declaration for `add'
In the instance declaration for `Add (S a) b (S c)'
tc125.hs:21:10:
Warning: No explicit method or default declaration for `mul'
In the instance declaration for `Mul Z a Z'
tc125.hs:22:10:
Warning: No explicit method or default declaration for `mul'
In the instance declaration for `Mul (S a) b d'
tc125.hs:29:10:
Warning: No explicit method or default declaration for `add'
In the instance declaration for `Add (Q a b) (Q c d) (Q ad_bc bd)'
|