-
Notifications
You must be signed in to change notification settings - Fork 465
/
Copy pathchar.js
127 lines (113 loc) · 2.25 KB
/
char.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
import * as Caml_bytes from "./caml_bytes.js";
import * as Caml_builtin_exceptions from "./caml_builtin_exceptions.js";
function chr(n) {
if (n < 0 || n > 255) {
throw [
Caml_builtin_exceptions.invalid_argument,
"Char.chr"
];
}
return n;
}
function escaped(c) {
var exit = 0;
if (c >= 40) {
if (c === 92) {
return "\\\\";
}
exit = c >= 127 ? 1 : 2;
} else if (c >= 32) {
if (c >= 39) {
return "\\'";
}
exit = 2;
} else if (c >= 14) {
exit = 1;
} else {
switch (c) {
case 8 :
return "\\b";
case 9 :
return "\\t";
case 10 :
return "\\n";
case 0 :
case 1 :
case 2 :
case 3 :
case 4 :
case 5 :
case 6 :
case 7 :
case 11 :
case 12 :
exit = 1;
break;
case 13 :
return "\\r";
}
}
switch (exit) {
case 1 :
var s = [
0,
0,
0,
0
];
s[0] = /* "\\" */92;
s[1] = 48 + (c / 100 | 0) | 0;
s[2] = 48 + (c / 10 | 0) % 10 | 0;
s[3] = 48 + c % 10 | 0;
return Caml_bytes.bytes_to_string(s);
case 2 :
var s$1 = [0];
s$1[0] = c;
return Caml_bytes.bytes_to_string(s$1);
}
}
function lowercase(c) {
if (c >= /* "A" */65 && c <= /* "Z" */90 || c >= /* "\192" */192 && c <= /* "\214" */214 || c >= /* "\216" */216 && c <= /* "\222" */222) {
return c + 32 | 0;
} else {
return c;
}
}
function uppercase(c) {
if (c >= /* "a" */97 && c <= /* "z" */122 || c >= /* "\224" */224 && c <= /* "\246" */246 || c >= /* "\248" */248 && c <= /* "\254" */254) {
return c - 32 | 0;
} else {
return c;
}
}
function lowercase_ascii(c) {
if (c >= /* "A" */65 && c <= /* "Z" */90) {
return c + 32 | 0;
} else {
return c;
}
}
function uppercase_ascii(c) {
if (c >= /* "a" */97 && c <= /* "z" */122) {
return c - 32 | 0;
} else {
return c;
}
}
function compare(c1, c2) {
return c1 - c2 | 0;
}
function equal(c1, c2) {
return (c1 - c2 | 0) === 0;
}
export {
chr ,
escaped ,
lowercase ,
uppercase ,
lowercase_ascii ,
uppercase_ascii ,
compare ,
equal ,
}
/* No side effect */