4
4
function height ( param ) {
5
5
if ( param ) {
6
6
return param [ 3 ] ;
7
- }
8
- else {
7
+ } else {
9
8
return 0 ;
10
9
}
11
10
}
@@ -31,38 +30,30 @@ function bal(l, v, r) {
31
30
var ll = l [ 0 ] ;
32
31
if ( height ( ll ) >= height ( lr ) ) {
33
32
return create ( ll , lv , create ( lr , v , r ) ) ;
34
- }
35
- else if ( lr ) {
33
+ } else if ( lr ) {
36
34
return create ( create ( ll , lv , lr [ 0 ] ) , lr [ 1 ] , create ( lr [ 2 ] , v , r ) ) ;
37
- }
38
- else {
35
+ } else {
39
36
return /* Empty */ 0 ;
40
37
}
41
- }
42
- else {
38
+ } else {
43
39
return /* Empty */ 0 ;
44
40
}
45
- }
46
- else if ( hr > ( hl + 2 | 0 ) ) {
41
+ } else if ( hr > ( hl + 2 | 0 ) ) {
47
42
if ( r ) {
48
43
var rr = r [ 2 ] ;
49
44
var rv = r [ 1 ] ;
50
45
var rl = r [ 0 ] ;
51
46
if ( height ( rr ) >= height ( rl ) ) {
52
47
return create ( create ( l , v , rl ) , rv , rr ) ;
53
- }
54
- else if ( rl ) {
48
+ } else if ( rl ) {
55
49
return create ( create ( l , v , rl [ 0 ] ) , rl [ 1 ] , create ( rl [ 2 ] , rv , rr ) ) ;
56
- }
57
- else {
50
+ } else {
58
51
return /* Empty */ 0 ;
59
52
}
60
- }
61
- else {
53
+ } else {
62
54
return /* Empty */ 0 ;
63
55
}
64
- }
65
- else {
56
+ } else {
66
57
return /* Node */ [
67
58
l ,
68
59
v ,
@@ -75,11 +66,9 @@ function bal(l, v, r) {
75
66
function compare_int ( x , y ) {
76
67
if ( x > y ) {
77
68
return 1 ;
78
- }
79
- else if ( x === y ) {
69
+ } else if ( x === y ) {
80
70
return 0 ;
81
- }
82
- else {
71
+ } else {
83
72
return - 1 ;
84
73
}
85
74
}
@@ -93,16 +82,13 @@ function add(x, t) {
93
82
if ( c ) {
94
83
if ( c < 0 ) {
95
84
return bal ( add ( x , l ) , v , r ) ;
96
- }
97
- else {
85
+ } else {
98
86
return bal ( l , v , add ( x , r ) ) ;
99
87
}
100
- }
101
- else {
88
+ } else {
102
89
return t ;
103
90
}
104
- }
105
- else {
91
+ } else {
106
92
return /* Node */ [
107
93
/* Empty */ 0 ,
108
94
x ,
@@ -123,12 +109,10 @@ function min_elt(_def, _param) {
123
109
_def = param [ 1 ] ;
124
110
continue ;
125
111
126
- }
127
- else {
112
+ } else {
128
113
return param [ 1 ] ;
129
114
}
130
- }
131
- else {
115
+ } else {
132
116
return def ;
133
117
}
134
118
} ;
@@ -137,8 +121,7 @@ function min_elt(_def, _param) {
137
121
function remove_min_elt ( l , v , r ) {
138
122
if ( l ) {
139
123
return bal ( remove_min_elt ( l [ 0 ] , l [ 1 ] , l [ 2 ] ) , v , r ) ;
140
- }
141
- else {
124
+ } else {
142
125
return r ;
143
126
}
144
127
}
@@ -148,12 +131,10 @@ function internal_merge(l, r) {
148
131
if ( r ) {
149
132
var rv = r [ 1 ] ;
150
133
return bal ( l , min_elt ( rv , r ) , remove_min_elt ( r [ 0 ] , rv , r [ 2 ] ) ) ;
151
- }
152
- else {
134
+ } else {
153
135
return l ;
154
136
}
155
- }
156
- else {
137
+ } else {
157
138
return r ;
158
139
}
159
140
}
@@ -167,16 +148,13 @@ function remove(x, tree) {
167
148
if ( c ) {
168
149
if ( c < 0 ) {
169
150
return bal ( remove ( x , l ) , v , r ) ;
170
- }
171
- else {
151
+ } else {
172
152
return bal ( l , v , remove ( x , r ) ) ;
173
153
}
174
- }
175
- else {
154
+ } else {
176
155
return internal_merge ( l , r ) ;
177
156
}
178
- }
179
- else {
157
+ } else {
180
158
return /* Empty */ 0 ;
181
159
}
182
160
}
@@ -190,12 +168,10 @@ function mem(x, _param) {
190
168
_param = c < 0 ? param [ 0 ] : param [ 2 ] ;
191
169
continue ;
192
170
193
- }
194
- else {
171
+ } else {
195
172
return /* true */ 1 ;
196
173
}
197
- }
198
- else {
174
+ } else {
199
175
return /* false */ 0 ;
200
176
}
201
177
} ;
0 commit comments