-
Notifications
You must be signed in to change notification settings - Fork 464
/
Copy pathgpr_627_test.js
76 lines (64 loc) · 1.21 KB
/
gpr_627_test.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
'use strict';
var Mt = require("./mt.js");
var suites = {
contents: /* [] */0
};
var test_id = {
contents: 0
};
function eq(loc, param) {
var y = param[1];
var x = param[0];
test_id.contents = test_id.contents + 1 | 0;
suites.contents = {
hd: [
loc + (" id " + String(test_id.contents)),
(function (param) {
return {
TAG: /* Eq */0,
_0: x,
_1: y
};
})
],
tl: suites.contents
};
}
var u = {
say: (function (x, y) {
return x + y | 0;
})
};
var v = {
hi: (function (x, y) {
var self = this ;
var u = {
x: x
};
return self.say(u.x) + y + x;
}),
say: (function (x) {
var self = this ;
return x * self.x();
}),
x: (function () {
return 3;
})
};
var p_1 = u.say(1, 2);
var p = [
3,
p_1
];
eq("File \"gpr_627_test.ml\", line 26, characters 5-12", p);
eq("File \"gpr_627_test.ml\", line 27, characters 5-12", [
v.hi(1, 2),
6
]);
Mt.from_pair_suites("Gpr_627_test", suites.contents);
exports.suites = suites;
exports.test_id = test_id;
exports.eq = eq;
exports.u = u;
exports.v = v;
/* u Not a pure module */