-
Notifications
You must be signed in to change notification settings - Fork 465
/
Copy pathtest_pervasives2.js
250 lines (243 loc) · 8.82 KB
/
test_pervasives2.js
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
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
'use strict';
var List = require("../../lib/js/list");
var Stack = require("../../lib/js/stack");
var Pervasives = require("../../lib/js/pervasives");
var List$1 = /* module */[
/* length */List.length,
/* hd */List.hd,
/* tl */List.tl,
/* nth */List.nth,
/* rev */List.rev,
/* append */List.append,
/* rev_append */List.rev_append,
/* concat */List.concat,
/* flatten */List.flatten,
/* iter */List.iter,
/* iteri */List.iteri,
/* map */List.map,
/* mapi */List.mapi,
/* rev_map */List.rev_map,
/* fold_left */List.fold_left,
/* fold_right */List.fold_right,
/* iter2 */List.iter2,
/* map2 */List.map2,
/* rev_map2 */List.rev_map2,
/* fold_left2 */List.fold_left2,
/* fold_right2 */List.fold_right2,
/* for_all */List.for_all,
/* exists */List.exists,
/* for_all2 */List.for_all2,
/* exists2 */List.exists2,
/* mem */List.mem,
/* memq */List.memq,
/* find */List.find,
/* filter */List.filter,
/* find_all */List.find_all,
/* partition */List.partition,
/* assoc */List.assoc,
/* assq */List.assq,
/* mem_assoc */List.mem_assoc,
/* mem_assq */List.mem_assq,
/* remove_assoc */List.remove_assoc,
/* remove_assq */List.remove_assq,
/* split */List.split,
/* combine */List.combine,
/* sort */List.sort,
/* stable_sort */List.stable_sort,
/* fast_sort */List.fast_sort,
/* sort_uniq */List.sort_uniq,
/* merge */List.merge,
/* invalid_arg */Pervasives.invalid_arg,
/* failwith */Pervasives.failwith,
/* Exit */Pervasives.Exit,
/* min */Pervasives.min,
/* max */Pervasives.max,
/* abs */Pervasives.abs,
/* max_int */Pervasives.max_int,
/* min_int */Pervasives.min_int,
/* lnot */Pervasives.lnot,
/* infinity */Pervasives.infinity,
/* neg_infinity */Pervasives.neg_infinity,
/* nan */Pervasives.nan,
/* max_float */Pervasives.max_float,
/* min_float */Pervasives.min_float,
/* epsilon_float */Pervasives.epsilon_float,
/* ^ */Pervasives.$caret,
/* char_of_int */Pervasives.char_of_int,
/* string_of_bool */Pervasives.string_of_bool,
/* bool_of_string */Pervasives.bool_of_string,
/* string_of_int */Pervasives.string_of_int,
/* string_of_float */Pervasives.string_of_float,
/* @ */Pervasives.$at,
/* stdin */Pervasives.stdin,
/* stdout */Pervasives.stdout,
/* stderr */Pervasives.stderr,
/* print_char */Pervasives.print_char,
/* print_string */Pervasives.print_string,
/* print_bytes */Pervasives.print_bytes,
/* print_int */Pervasives.print_int,
/* print_float */Pervasives.print_float,
/* print_endline */Pervasives.print_endline,
/* print_newline */Pervasives.print_newline,
/* prerr_char */Pervasives.prerr_char,
/* prerr_string */Pervasives.prerr_string,
/* prerr_bytes */Pervasives.prerr_bytes,
/* prerr_int */Pervasives.prerr_int,
/* prerr_float */Pervasives.prerr_float,
/* prerr_endline */Pervasives.prerr_endline,
/* prerr_newline */Pervasives.prerr_newline,
/* read_line */Pervasives.read_line,
/* read_int */Pervasives.read_int,
/* read_float */Pervasives.read_float,
/* open_out */Pervasives.open_out,
/* open_out_bin */Pervasives.open_out_bin,
/* open_out_gen */Pervasives.open_out_gen,
/* flush */Pervasives.flush,
/* flush_all */Pervasives.flush_all,
/* output_char */Pervasives.output_char,
/* output_string */Pervasives.output_string,
/* output_bytes */Pervasives.output_bytes,
/* output */Pervasives.output,
/* output_substring */Pervasives.output_substring,
/* output_byte */Pervasives.output_byte,
/* output_binary_int */Pervasives.output_binary_int,
/* output_value */Pervasives.output_value,
/* seek_out */Pervasives.seek_out,
/* pos_out */Pervasives.pos_out,
/* out_channel_length */Pervasives.out_channel_length,
/* close_out */Pervasives.close_out,
/* close_out_noerr */Pervasives.close_out_noerr,
/* set_binary_mode_out */Pervasives.set_binary_mode_out,
/* open_in */Pervasives.open_in,
/* open_in_bin */Pervasives.open_in_bin,
/* open_in_gen */Pervasives.open_in_gen,
/* input_char */Pervasives.input_char,
/* input_line */Pervasives.input_line,
/* input */Pervasives.input,
/* really_input */Pervasives.really_input,
/* really_input_string */Pervasives.really_input_string,
/* input_byte */Pervasives.input_byte,
/* input_binary_int */Pervasives.input_binary_int,
/* input_value */Pervasives.input_value,
/* seek_in */Pervasives.seek_in,
/* pos_in */Pervasives.pos_in,
/* in_channel_length */Pervasives.in_channel_length,
/* close_in */Pervasives.close_in,
/* close_in_noerr */Pervasives.close_in_noerr,
/* set_binary_mode_in */Pervasives.set_binary_mode_in,
/* LargeFile */Pervasives.LargeFile,
/* string_of_format */Pervasives.string_of_format,
/* ^^ */Pervasives.$caret$caret,
/* exit */Pervasives.exit,
/* at_exit */Pervasives.at_exit,
/* valid_float_lexem */Pervasives.valid_float_lexem,
/* unsafe_really_input */Pervasives.unsafe_really_input,
/* do_at_exit */Pervasives.do_at_exit
];
var U = /* module */[
/* Empty */Stack.Empty,
/* create */Stack.create,
/* push */Stack.push,
/* pop */Stack.pop,
/* top */Stack.top,
/* clear */Stack.clear,
/* copy */Stack.copy,
/* is_empty */Stack.is_empty,
/* length */Stack.length,
/* iter */Stack.iter,
/* invalid_arg */Pervasives.invalid_arg,
/* failwith */Pervasives.failwith,
/* Exit */Pervasives.Exit,
/* min */Pervasives.min,
/* max */Pervasives.max,
/* abs */Pervasives.abs,
/* max_int */Pervasives.max_int,
/* min_int */Pervasives.min_int,
/* lnot */Pervasives.lnot,
/* infinity */Pervasives.infinity,
/* neg_infinity */Pervasives.neg_infinity,
/* nan */Pervasives.nan,
/* max_float */Pervasives.max_float,
/* min_float */Pervasives.min_float,
/* epsilon_float */Pervasives.epsilon_float,
/* ^ */Pervasives.$caret,
/* char_of_int */Pervasives.char_of_int,
/* string_of_bool */Pervasives.string_of_bool,
/* bool_of_string */Pervasives.bool_of_string,
/* string_of_int */Pervasives.string_of_int,
/* string_of_float */Pervasives.string_of_float,
/* @ */Pervasives.$at,
/* stdin */Pervasives.stdin,
/* stdout */Pervasives.stdout,
/* stderr */Pervasives.stderr,
/* print_char */Pervasives.print_char,
/* print_string */Pervasives.print_string,
/* print_bytes */Pervasives.print_bytes,
/* print_int */Pervasives.print_int,
/* print_float */Pervasives.print_float,
/* print_endline */Pervasives.print_endline,
/* print_newline */Pervasives.print_newline,
/* prerr_char */Pervasives.prerr_char,
/* prerr_string */Pervasives.prerr_string,
/* prerr_bytes */Pervasives.prerr_bytes,
/* prerr_int */Pervasives.prerr_int,
/* prerr_float */Pervasives.prerr_float,
/* prerr_endline */Pervasives.prerr_endline,
/* prerr_newline */Pervasives.prerr_newline,
/* read_line */Pervasives.read_line,
/* read_int */Pervasives.read_int,
/* read_float */Pervasives.read_float,
/* open_out */Pervasives.open_out,
/* open_out_bin */Pervasives.open_out_bin,
/* open_out_gen */Pervasives.open_out_gen,
/* flush */Pervasives.flush,
/* flush_all */Pervasives.flush_all,
/* output_char */Pervasives.output_char,
/* output_string */Pervasives.output_string,
/* output_bytes */Pervasives.output_bytes,
/* output */Pervasives.output,
/* output_substring */Pervasives.output_substring,
/* output_byte */Pervasives.output_byte,
/* output_binary_int */Pervasives.output_binary_int,
/* output_value */Pervasives.output_value,
/* seek_out */Pervasives.seek_out,
/* pos_out */Pervasives.pos_out,
/* out_channel_length */Pervasives.out_channel_length,
/* close_out */Pervasives.close_out,
/* close_out_noerr */Pervasives.close_out_noerr,
/* set_binary_mode_out */Pervasives.set_binary_mode_out,
/* open_in */Pervasives.open_in,
/* open_in_bin */Pervasives.open_in_bin,
/* open_in_gen */Pervasives.open_in_gen,
/* input_char */Pervasives.input_char,
/* input_line */Pervasives.input_line,
/* input */Pervasives.input,
/* really_input */Pervasives.really_input,
/* really_input_string */Pervasives.really_input_string,
/* input_byte */Pervasives.input_byte,
/* input_binary_int */Pervasives.input_binary_int,
/* input_value */Pervasives.input_value,
/* seek_in */Pervasives.seek_in,
/* pos_in */Pervasives.pos_in,
/* in_channel_length */Pervasives.in_channel_length,
/* close_in */Pervasives.close_in,
/* close_in_noerr */Pervasives.close_in_noerr,
/* set_binary_mode_in */Pervasives.set_binary_mode_in,
/* LargeFile */Pervasives.LargeFile,
/* string_of_format */Pervasives.string_of_format,
/* ^^ */Pervasives.$caret$caret,
/* exit */Pervasives.exit,
/* at_exit */Pervasives.at_exit,
/* valid_float_lexem */Pervasives.valid_float_lexem,
/* unsafe_really_input */Pervasives.unsafe_really_input,
/* do_at_exit */Pervasives.do_at_exit
];
var f = Pervasives.$at;
var ff = List.length;
var fff = Pervasives.$at;
exports.List = List$1;
exports.U = U;
exports.f = f;
exports.ff = ff;
exports.fff = fff;
/* No side effect */