-
Notifications
You must be signed in to change notification settings - Fork 6
/
Copy pathfunction_test.go
127 lines (114 loc) · 2.7 KB
/
function_test.go
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
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
package gisp
import (
"reflect"
"testing"
px "github.com/Dwarfartisan/goparsec/parsex"
)
// declare a struct for overload test
type money struct {
Amount Float
Currency string
}
func (m money) Mul(ratio Float) money {
return money{m.Amount * ratio, m.Currency}
}
func (m money) EqualTo(x money) bool {
return m.Amount == x.Amount && m.Currency == x.Currency
}
type mrMul struct {
argsParser px.Parser
}
func mrmul() mrMul {
mchecker := func(st px.ParsexState) (interface{}, error) {
x, err := st.Next(px.Always)
if err != nil {
return nil, err
}
switch m := x.(type) {
case money:
return m, nil
default:
return nil, moneySignError(x)
}
}
fchecker := func(st px.ParsexState) (interface{}, error) {
x, err := st.Next(px.Always)
if err != nil {
return nil, err
}
switch f := x.(type) {
case Float:
return f, nil
default:
return nil, floatSignError(x)
}
}
return mrMul{px.Union(mchecker, px.Many1(fchecker), px.Eof)}
}
func (mrm mrMul) Task(env Env, args ...interface{}) (Lisp, error) {
params, err := Evals(env, args...)
if err != nil {
return nil, err
}
st := px.NewStateInMemory(params)
data, err := mrm.argsParser(st)
if err != nil {
return nil, err
}
return TaskBox{func(env Env) (interface{}, error) {
vals := data.([]interface{})
m := vals[0].(money)
for _, r := range vals[1].([]interface{}) {
m = m.Mul(r.(Float))
}
return m, nil
}}, nil
}
func moneySignError(value interface{}) error {
return TypeSignError{Type{reflect.TypeOf((*money)(nil)).Elem(), false}, value}
}
func floatSignError(value interface{}) error {
return TypeSignError{Type{reflect.TypeOf((*Float)(nil)).Elem(), false}, value}
}
func TestMoneyMul(t *testing.T) {
in := money{Float(30.9), "CNY"}
ratio := Float(0.8)
out := in.Mul(ratio)
g := NewGisp(map[string]Toolbox{
"axioms": Axiom,
"props": Propositions,
})
g.Defun("*", mrmul())
mulx, ok := g.Lookup("*")
if !ok {
t.Fatalf("except got overloaded function *")
}
ret, err := g.Eval(List{mulx, in, ratio})
if err != nil {
t.Fatalf("except %v * %v is %v but error %v", in, ratio, out, err)
}
if !reflect.DeepEqual(ret, out) {
t.Fatalf("except %v * %v is %v but %v", in, ratio, out, ret)
}
}
func TestMulAutoOverload(t *testing.T) {
in := Float(30.9)
ratio := Float(0.8)
out := in * ratio
g := NewGisp(map[string]Toolbox{
"axioms": Axiom,
"props": Propositions,
})
g.Defun("*", mrmul())
mulx, ok := g.Lookup("*")
if !ok {
t.Fatalf("except got overloaded function *")
}
ret, err := g.Eval(List{mulx, in, ratio})
if err != nil {
t.Fatalf("except %v * %v is %v but error %v", in, ratio, out, err)
}
if !reflect.DeepEqual(ret, out) {
t.Fatalf("except %v * %v is %v but %v", in, ratio, out, ret)
}
}