- var lambda_handler = function () {
- var body = this.second.handler();
- var n, v;
- while (this.first.length) {
- n = this.first.pop().value;
- v = var_table[n];
- if (!v) {
- v = make_var(n);
- var_table[n] = v;
- name_table[n] = new Lambda_var(v);
- }
- body = make_lam(v, body);
- }
- return body;
- };
+ constant("S", make_lam3(u, v, x, make_app3(uu, xx, make_app(vv, xx))));
+ constant("K", make_lam2(u, v, uu));
+ constant("I", make_lam(x, xx));
+ constant("B", make_lam3(u, v, x, make_app(uu, make_app(vv, xx))));
+ constant("C", make_lam3(u, v, x, make_app3(uu, xx, vv)));
+ constant("W", make_lam2(u, v, make_app3(uu, vv, vv)));
+ constant("T", make_lam2(u, v, make_app(vv, uu)));
+ }
+ make_constants();