-
Notifications
You must be signed in to change notification settings - Fork 464
/
Copy pathgpr_904_test.js
70 lines (59 loc) · 1.24 KB
/
gpr_904_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
// Generated by ReScript, PLEASE EDIT WITH CARE
'use strict';
var Mt = require("./mt.js");
var suites = {
contents: /* [] */0
};
var test_id = {
contents: 0
};
function eq(loc, x, y) {
test_id.contents = test_id.contents + 1 | 0;
suites.contents = {
hd: [
loc + (" id " + String(test_id.contents)),
(function (param) {
return {
TAG: "Eq",
_0: x,
_1: y
};
})
],
tl: suites.contents
};
}
function check_healty(check) {
if (!check.a && !check.b) {
return !check.c;
} else {
return false;
}
}
function basic_not(x) {
return !x;
}
function f(check) {
if (check.x) {
return check.y;
} else {
return false;
}
}
eq("File \"gpr_904_test.res\", line 16, characters 12-19", f({
x: true,
y: false
}), false);
eq("File \"gpr_904_test.res\", line 18, characters 12-19", check_healty({
a: false,
b: false,
c: true
}), false);
Mt.from_pair_suites("Gpr_904_test", suites.contents);
exports.suites = suites;
exports.test_id = test_id;
exports.eq = eq;
exports.check_healty = check_healty;
exports.basic_not = basic_not;
exports.f = f;
/* Not a pure module */