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
|
package hm
import "testing"
func TestSubsPool(t *testing.T) {
var def TypeVariable
for i := 0; i < poolSize; i++ {
s := BorrowSSubs(i + 1)
if cap(s.s) != (i+1)+extraCap {
t.Errorf("Expected s to have cap of %d", i+1+extraCap)
goto mSubTest
}
if len(s.s) != (i + 1) {
t.Errorf("Expected s to have a len of %d", i+1)
goto mSubTest
}
s.s[0] = Substitution{TypeVariable('a'), electron}
ReturnSubs(s)
s = BorrowSSubs(i + 1)
for _, subst := range s.s {
if subst.T != nil {
t.Errorf("sSubsPool %d error: not clean: %v", i, subst)
break
}
if subst.Tv != def {
t.Errorf("sSubsPool %d error: not clean: %v", i, subst)
break
}
}
mSubTest:
m := BorrowMSubs()
if len(m) != 0 {
t.Errorf("Expected borrowed mSubs to have 0 length")
}
m['a'] = electron
ReturnSubs(m)
m = BorrowMSubs()
if len(m) != 0 {
t.Errorf("Expected borrowed mSubs to have 0 length")
}
}
// oob tests
s := BorrowSSubs(10)
if cap(s.s) != 10 {
t.Error("Expected a cap of 10")
}
ReturnSubs(s)
}
func TestTypesPool(t *testing.T) {
for i := 0; i < poolSize; i++ {
ts := BorrowTypes(i + 1)
if cap(ts) != i+1 {
t.Errorf("Expected ts to have a cap of %v", i+1)
}
ts[0] = proton
ReturnTypes(ts)
ts = BorrowTypes(i + 1)
for _, v := range ts {
if v != nil {
t.Errorf("Expected reshly borrowed Types to be nil")
}
}
}
// oob
ts := BorrowTypes(10)
if cap(ts) != 10 {
t.Errorf("Expected a cap to 10")
}
}
func TestTypeVarSetPool(t *testing.T) {
var def TypeVariable
for i := 0; i < poolSize; i++ {
ts := BorrowTypeVarSet(i + 1)
if cap(ts) != i+1 {
t.Errorf("Expected ts to have a cap of %v", i+1)
}
ts[0] = 'z'
ReturnTypeVarSet(ts)
ts = BorrowTypeVarSet(i + 1)
for _, v := range ts {
if v != def {
t.Errorf("Expected reshly borrowed Types to be def")
}
}
}
// oob
tvs := BorrowTypeVarSet(10)
if cap(tvs) != 10 {
t.Error("Expected a cap of 10")
}
}
func TestFnTypeOol(t *testing.T) {
f := borrowFnType()
f.a = NewFnType(proton, electron)
f.b = NewFnType(proton, neutron)
ReturnFnType(f)
f = borrowFnType()
if f.a != nil {
t.Error("FunctionType not cleaned up: a is not nil")
}
if f.b != nil {
t.Error("FunctionType not cleaned up: b is not nil")
}
}
|
