blob: 9d28b4612a29309d9387c8b1f2d0f43c88b62d78 (
plain)
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
|
function cons(v, ls) {
return { n : ls, v : v };
}
function callAll(ls) {
for (; ls; ls = ls.n)
ls.v();
}
function sc(v) {
return {v : v, h : null};
}
function sv(s, v) {
s.v = v;
callAll(s.h);
}
function ss(s) {
return s;
}
function sr(v) {
return {v : v, h : null};
}
function sb(x,y) {
var z = y(x.v);
var s = {v : z.v, h : null};
function reZ() {
z.h = cons(function() { s.v = z.v; callAll(s.h); }, z.h);
}
x.h = cons(function() { z = y(x.v); reZ(); s.v = z.v; callAll(s.h); }, x.h);
reZ();
return s;
}
function dyn(s) {
var x = document.createElement("span");
x.innerHTML = s.v;
document.body.appendChild(x);
s.h = cons(function() { x.innerHTML = s.v }, s.h);
}
function eh(x) {
return x.split("&").join("&").split("<").join("<").split(">").join(">");
}
function ts(x) { return x.toString() }
function bs(b) { return (b ? "True" : "False") }
function pf() { alert("Pattern match failure") }
|