js/src/jit-test/tests/v8-v5/check-earley-boyer.js@129ffea94266
js/src/jit-test/tests/v8-v5/check-earley-boyer.js
Sat, 03 Jan 2015 20:18:00 +0100
- author
- Michael Schloh von Bennewitz <michael@schloh.com>
- date
- Sat, 03 Jan 2015 20:18:00 +0100
- branch
- TOR_BUG_3246
- changeset 7
- 129ffea94266
- permissions
- -rw-r--r--
Conditionally enable double key logic according to:
private browsing mode or privacy.thirdparty.isolate preference and
implement in GetCookieStringCommon and FindCookie where it counts...
With some reservations of how to convince FindCookie users to test
condition and pass a nullptr when disabling double key logic.
1 // This file is automatically generated by scheme2js, except for the
2 // benchmark harness code at the beginning and end of the file.
4 //var EarleyBoyer = new BenchmarkSuite('EarleyBoyer', 765819, [
5 // new Benchmark("Earley", function () { BgL_earleyzd2benchmarkzd2(); }),
6 // new Benchmark("Boyer", function () { BgL_nboyerzd2benchmarkzd2(); })
7 //]);
10 /************* GENERATED FILE - DO NOT EDIT *************/
11 /************* GENERATED FILE - DO NOT EDIT *************/
12 /************* GENERATED FILE - DO NOT EDIT *************/
13 /************* GENERATED FILE - DO NOT EDIT *************/
14 /************* GENERATED FILE - DO NOT EDIT *************/
15 /************* GENERATED FILE - DO NOT EDIT *************/
16 /************* GENERATED FILE - DO NOT EDIT *************/
17 /************* GENERATED FILE - DO NOT EDIT *************/
18 /*
19 * To use write/prints/... the default-output port has to be set first.
20 * Simply setting SC_DEFAULT_OUT and SC_ERROR_OUT to the desired values
21 * should do the trick.
22 * In the following example the std-out and error-port are redirected to
23 * a DIV.
24 function initRuntime() {
25 function escapeHTML(s) {
26 var tmp = s;
27 tmp = tmp.replace(/&/g, "&");
28 tmp = tmp.replace(/</g, "<");
29 tmp = tmp.replace(/>/g, ">");
30 tmp = tmp.replace(/ /g, " ");
31 tmp = tmp.replace(/\n/g, "<br />");
32 tmp = tmp.replace(/\t/g, "  ");
33 return tmp;
35 }
37 document.write("<div id='stdout'></div>");
38 SC_DEFAULT_OUT = new sc_GenericOutputPort(
39 function(s) {
40 var stdout = document.getElementById('stdout');
41 stdout.innerHTML = stdout.innerHTML + escapeHTML(s);
42 });
43 SC_ERROR_OUT = SC_DEFAULT_OUT;
44 }
45 */
48 function sc_print_debug() {
49 sc_print.apply(null, arguments);
50 }
51 /*** META ((export *js*)) */
52 var sc_JS_GLOBALS = this;
54 var __sc_LINE=-1;
55 var __sc_FILE="";
57 /*** META ((export #t)) */
58 function sc_alert() {
59 var len = arguments.length;
60 var s = "";
61 var i;
63 for( i = 0; i < len; i++ ) {
64 s += sc_toDisplayString(arguments[ i ]);
65 }
67 return alert( s );
68 }
70 /*** META ((export #t)) */
71 function sc_typeof( x ) {
72 return typeof x;
73 }
75 /*** META ((export #t)) */
76 function sc_error() {
77 var a = [sc_jsstring2symbol("*error*")];
78 for (var i = 0; i < arguments.length; i++) {
79 a[i+1] = arguments[i];
80 }
81 throw a;
82 }
84 /*** META ((export #t)
85 (peephole (prefix "throw ")))
86 */
87 function sc_raise(obj) {
88 throw obj;
89 }
91 /*** META ((export with-handler-lambda)) */
92 function sc_withHandlerLambda(handler, body) {
93 try {
94 return body();
95 } catch(e) {
96 if (!e._internalException)
97 return handler(e);
98 else
99 throw e;
100 }
101 }
103 var sc_properties = new Object();
105 /*** META ((export #t)) */
106 function sc_putpropBang(sym, key, val) {
107 var ht = sc_properties[sym];
108 if (!ht) {
109 ht = new Object();
110 sc_properties[sym] = ht;
111 }
112 ht[key] = val;
113 }
115 /*** META ((export #t)) */
116 function sc_getprop(sym, key) {
117 var ht = sc_properties[sym];
118 if (ht) {
119 if (key in ht)
120 return ht[key];
121 else
122 return false;
123 } else
124 return false;
125 }
127 /*** META ((export #t)) */
128 function sc_rempropBang(sym, key) {
129 var ht = sc_properties[sym];
130 if (ht)
131 delete ht[key];
132 }
134 /*** META ((export #t)) */
135 function sc_any2String(o) {
136 return jsstring2string(sc_toDisplayString(o));
137 }
139 /*** META ((export #t)
140 (peephole (infix 2 2 "==="))
141 (type bool))
142 */
143 function sc_isEqv(o1, o2) {
144 return (o1 === o2);
145 }
147 /*** META ((export #t)
148 (peephole (infix 2 2 "==="))
149 (type bool))
150 */
151 function sc_isEq(o1, o2) {
152 return (o1 === o2);
153 }
155 /*** META ((export #t)
156 (type bool))
157 */
158 function sc_isNumber(n) {
159 return (typeof n === "number");
160 }
162 /*** META ((export #t)
163 (type bool))
164 */
165 function sc_isComplex(n) {
166 return sc_isNumber(n);
167 }
169 /*** META ((export #t)
170 (type bool))
171 */
172 function sc_isReal(n) {
173 return sc_isNumber(n);
174 }
176 /*** META ((export #t)
177 (type bool))
178 */
179 function sc_isRational(n) {
180 return sc_isReal(n);
181 }
183 /*** META ((export #t)
184 (type bool))
185 */
186 function sc_isInteger(n) {
187 return (parseInt(n) === n);
188 }
190 /*** META ((export #t)
191 (type bool)
192 (peephole (postfix ", false")))
193 */
194 // we don't have exact numbers...
195 function sc_isExact(n) {
196 return false;
197 }
199 /*** META ((export #t)
200 (peephole (postfix ", true"))
201 (type bool))
202 */
203 function sc_isInexact(n) {
204 return true;
205 }
207 /*** META ((export = =fx =fl)
208 (type bool)
209 (peephole (infix 2 2 "===")))
210 */
211 function sc_equal(x) {
212 for (var i = 1; i < arguments.length; i++)
213 if (x !== arguments[i])
214 return false;
215 return true;
216 }
218 /*** META ((export < <fx <fl)
219 (type bool)
220 (peephole (infix 2 2 "<")))
221 */
222 function sc_less(x) {
223 for (var i = 1; i < arguments.length; i++) {
224 if (x >= arguments[i])
225 return false;
226 x = arguments[i];
227 }
228 return true;
229 }
231 /*** META ((export > >fx >fl)
232 (type bool)
233 (peephole (infix 2 2 ">")))
234 */
235 function sc_greater(x, y) {
236 for (var i = 1; i < arguments.length; i++) {
237 if (x <= arguments[i])
238 return false;
239 x = arguments[i];
240 }
241 return true;
242 }
244 /*** META ((export <= <=fx <=fl)
245 (type bool)
246 (peephole (infix 2 2 "<=")))
247 */
248 function sc_lessEqual(x, y) {
249 for (var i = 1; i < arguments.length; i++) {
250 if (x > arguments[i])
251 return false;
252 x = arguments[i];
253 }
254 return true;
255 }
257 /*** META ((export >= >=fl >=fx)
258 (type bool)
259 (peephole (infix 2 2 ">=")))
260 */
261 function sc_greaterEqual(x, y) {
262 for (var i = 1; i < arguments.length; i++) {
263 if (x < arguments[i])
264 return false;
265 x = arguments[i];
266 }
267 return true;
268 }
270 /*** META ((export #t)
271 (type bool)
272 (peephole (postfix "=== 0")))
273 */
274 function sc_isZero(x) {
275 return (x === 0);
276 }
278 /*** META ((export #t)
279 (type bool)
280 (peephole (postfix "> 0")))
281 */
282 function sc_isPositive(x) {
283 return (x > 0);
284 }
286 /*** META ((export #t)
287 (type bool)
288 (peephole (postfix "< 0")))
289 */
290 function sc_isNegative(x) {
291 return (x < 0);
292 }
294 /*** META ((export #t)
295 (type bool)
296 (peephole (postfix "%2===1")))
297 */
298 function sc_isOdd(x) {
299 return (x % 2 === 1);
300 }
302 /*** META ((export #t)
303 (type bool)
304 (peephole (postfix "%2===0")))
305 */
306 function sc_isEven(x) {
307 return (x % 2 === 0);
308 }
310 /*** META ((export #t)) */
311 var sc_max = Math.max;
312 /*** META ((export #t)) */
313 var sc_min = Math.min;
315 /*** META ((export + +fx +fl)
316 (peephole (infix 0 #f "+" "0")))
317 */
318 function sc_plus() {
319 var sum = 0;
320 for (var i = 0; i < arguments.length; i++)
321 sum += arguments[i];
322 return sum;
323 }
325 /*** META ((export * *fx *fl)
326 (peephole (infix 0 #f "*" "1")))
327 */
328 function sc_multi() {
329 var product = 1;
330 for (var i = 0; i < arguments.length; i++)
331 product *= arguments[i];
332 return product;
333 }
335 /*** META ((export - -fx -fl)
336 (peephole (minus)))
337 */
338 function sc_minus(x) {
339 if (arguments.length === 1)
340 return -x;
341 else {
342 var res = x;
343 for (var i = 1; i < arguments.length; i++)
344 res -= arguments[i];
345 return res;
346 }
347 }
349 /*** META ((export / /fl)
350 (peephole (div)))
351 */
352 function sc_div(x) {
353 if (arguments.length === 1)
354 return 1/x;
355 else {
356 var res = x;
357 for (var i = 1; i < arguments.length; i++)
358 res /= arguments[i];
359 return res;
360 }
361 }
363 /*** META ((export #t)) */
364 var sc_abs = Math.abs;
366 /*** META ((export quotient /fx)
367 (peephole (hole 2 "parseInt(" x "/" y ")")))
368 */
369 function sc_quotient(x, y) {
370 return parseInt(x / y);
371 }
373 /*** META ((export #t)
374 (peephole (infix 2 2 "%")))
375 */
376 function sc_remainder(x, y) {
377 return x % y;
378 }
380 /*** META ((export #t)
381 (peephole (modulo)))
382 */
383 function sc_modulo(x, y) {
384 var remainder = x % y;
385 // if they don't have the same sign
386 if ((remainder * y) < 0)
387 return remainder + y;
388 else
389 return remainder;
390 }
392 function sc_euclid_gcd(a, b) {
393 var temp;
394 if (a === 0) return b;
395 if (b === 0) return a;
396 if (a < 0) {a = -a;};
397 if (b < 0) {b = -b;};
398 if (b > a) {temp = a; a = b; b = temp;};
399 while (true) {
400 a %= b;
401 if(a === 0) {return b;};
402 b %= a;
403 if(b === 0) {return a;};
404 };
405 return b;
406 }
408 /*** META ((export #t)) */
409 function sc_gcd() {
410 var gcd = 0;
411 for (var i = 0; i < arguments.length; i++)
412 gcd = sc_euclid_gcd(gcd, arguments[i]);
413 return gcd;
414 }
416 /*** META ((export #t)) */
417 function sc_lcm() {
418 var lcm = 1;
419 for (var i = 0; i < arguments.length; i++) {
420 var f = Math.round(arguments[i] / sc_euclid_gcd(arguments[i], lcm));
421 lcm *= Math.abs(f);
422 }
423 return lcm;
424 }
426 // LIMITATION: numerator and denominator don't make sense in floating point world.
427 //var SC_MAX_DECIMALS = 1000000
428 //
429 // function sc_numerator(x) {
430 // var rounded = Math.round(x * SC_MAX_DECIMALS);
431 // return Math.round(rounded / sc_euclid_gcd(rounded, SC_MAX_DECIMALS));
432 // }
434 // function sc_denominator(x) {
435 // var rounded = Math.round(x * SC_MAX_DECIMALS);
436 // return Math.round(SC_MAX_DECIMALS / sc_euclid_gcd(rounded, SC_MAX_DECIMALS));
437 // }
439 /*** META ((export #t)) */
440 var sc_floor = Math.floor;
441 /*** META ((export #t)) */
442 var sc_ceiling = Math.ceil;
443 /*** META ((export #t)) */
444 var sc_truncate = parseInt;
445 /*** META ((export #t)) */
446 var sc_round = Math.round;
448 // LIMITATION: sc_rationalize doesn't make sense in a floating point world.
450 /*** META ((export #t)) */
451 var sc_exp = Math.exp;
452 /*** META ((export #t)) */
453 var sc_log = Math.log;
454 /*** META ((export #t)) */
455 var sc_sin = Math.sin;
456 /*** META ((export #t)) */
457 var sc_cos = Math.cos;
458 /*** META ((export #t)) */
459 var sc_tan = Math.tan;
460 /*** META ((export #t)) */
461 var sc_asin = Math.asin;
462 /*** META ((export #t)) */
463 var sc_acos = Math.acos;
464 /*** META ((export #t)) */
465 var sc_atan = Math.atan;
467 /*** META ((export #t)) */
468 var sc_sqrt = Math.sqrt;
469 /*** META ((export #t)) */
470 var sc_expt = Math.pow;
472 // LIMITATION: we don't have complex numbers.
473 // LIMITATION: the following functions are hence not implemented.
474 // LIMITATION: make-rectangular, make-polar, real-part, imag-part, magnitude, angle
475 // LIMITATION: 2 argument atan
477 /*** META ((export #t)
478 (peephole (id)))
479 */
480 function sc_exact2inexact(x) {
481 return x;
482 }
484 /*** META ((export #t)
485 (peephole (id)))
486 */
487 function sc_inexact2exact(x) {
488 return x;
489 }
491 function sc_number2jsstring(x, radix) {
492 if (radix)
493 return x.toString(radix);
494 else
495 return x.toString();
496 }
498 function sc_jsstring2number(s, radix) {
499 if (s === "") return false;
501 if (radix) {
502 var t = parseInt(s, radix);
503 if (!t && t !== 0) return false;
504 // verify that each char is in range. (parseInt ignores leading
505 // white and trailing chars)
506 var allowedChars = "01234567890abcdefghijklmnopqrstuvwxyz".substring(0, radix+1);
507 if ((new RegExp("^["+allowedChars+"]*$", "i")).test(s))
508 return t;
509 else return false;
510 } else {
511 var t = +s; // does not ignore trailing chars.
512 if (!t && t !== 0) return false;
513 // simply verify that first char is not whitespace.
514 var c = s.charAt(0);
515 // if +c is 0, but the char is not "0", then we have a whitespace.
516 if (+c === 0 && c !== "0") return false;
517 return t;
518 }
519 }
521 /*** META ((export #t)
522 (type bool)
523 (peephole (not)))
524 */
525 function sc_not(b) {
526 return b === false;
527 }
529 /*** META ((export #t)
530 (type bool))
531 */
532 function sc_isBoolean(b) {
533 return (b === true) || (b === false);
534 }
536 function sc_Pair(car, cdr) {
537 this.car = car;
538 this.cdr = cdr;
539 }
541 sc_Pair.prototype.toString = function() {
542 return sc_toDisplayString(this);
543 };
544 sc_Pair.prototype.sc_toWriteOrDisplayString = function(writeOrDisplay) {
545 var current = this;
547 var res = "(";
549 while(true) {
550 res += writeOrDisplay(current.car);
551 if (sc_isPair(current.cdr)) {
552 res += " ";
553 current = current.cdr;
554 } else if (current.cdr !== null) {
555 res += " . " + writeOrDisplay(current.cdr);
556 break;
557 } else // current.cdr == null
558 break;
559 }
561 res += ")";
563 return res;
564 };
565 sc_Pair.prototype.sc_toDisplayString = function() {
566 return this.sc_toWriteOrDisplayString(sc_toDisplayString);
567 };
568 sc_Pair.prototype.sc_toWriteString = function() {
569 return this.sc_toWriteOrDisplayString(sc_toWriteString);
570 };
571 // sc_Pair.prototype.sc_toWriteCircleString in IO.js
573 /*** META ((export #t)
574 (type bool)
575 (peephole (postfix " instanceof sc_Pair")))
576 */
577 function sc_isPair(p) {
578 return (p instanceof sc_Pair);
579 }
581 function sc_isPairEqual(p1, p2, comp) {
582 return (comp(p1.car, p2.car) && comp(p1.cdr, p2.cdr));
583 }
585 /*** META ((export #t)
586 (peephole (hole 2 "new sc_Pair(" car ", " cdr ")")))
587 */
588 function sc_cons(car, cdr) {
589 return new sc_Pair(car, cdr);
590 }
592 /*** META ((export cons*)) */
593 function sc_consStar() {
594 var res = arguments[arguments.length - 1];
595 for (var i = arguments.length-2; i >= 0; i--)
596 res = new sc_Pair(arguments[i], res);
597 return res;
598 }
600 /*** META ((export #t)
601 (peephole (postfix ".car")))
602 */
603 function sc_car(p) {
604 return p.car;
605 }
607 /*** META ((export #t)
608 (peephole (postfix ".cdr")))
609 */
610 function sc_cdr(p) {
611 return p.cdr;
612 }
614 /*** META ((export #t)
615 (peephole (hole 2 p ".car = " val)))
616 */
617 function sc_setCarBang(p, val) {
618 p.car = val;
619 }
621 /*** META ((export #t)
622 (peephole (hole 2 p ".cdr = " val)))
623 */
624 function sc_setCdrBang(p, val) {
625 p.cdr = val;
626 }
628 /*** META ((export #t)
629 (peephole (postfix ".car.car")))
630 */
631 function sc_caar(p) { return p.car.car; }
632 /*** META ((export #t)
633 (peephole (postfix ".cdr.car")))
634 */
635 function sc_cadr(p) { return p.cdr.car; }
636 /*** META ((export #t)
637 (peephole (postfix ".car.cdr")))
638 */
639 function sc_cdar(p) { return p.car.cdr; }
640 /*** META ((export #t)
641 (peephole (postfix ".cdr.cdr")))
642 */
643 function sc_cddr(p) { return p.cdr.cdr; }
644 /*** META ((export #t)
645 (peephole (postfix ".car.car.car")))
646 */
647 function sc_caaar(p) { return p.car.car.car; }
648 /*** META ((export #t)
649 (peephole (postfix ".car.cdr.car")))
650 */
651 function sc_cadar(p) { return p.car.cdr.car; }
652 /*** META ((export #t)
653 (peephole (postfix ".cdr.car.car")))
654 */
655 function sc_caadr(p) { return p.cdr.car.car; }
656 /*** META ((export #t)
657 (peephole (postfix ".cdr.cdr.car")))
658 */
659 function sc_caddr(p) { return p.cdr.cdr.car; }
660 /*** META ((export #t)
661 (peephole (postfix ".car.car.cdr")))
662 */
663 function sc_cdaar(p) { return p.car.car.cdr; }
664 /*** META ((export #t)
665 (peephole (postfix ".cdr.car.cdr")))
666 */
667 function sc_cdadr(p) { return p.cdr.car.cdr; }
668 /*** META ((export #t)
669 (peephole (postfix ".car.cdr.cdr")))
670 */
671 function sc_cddar(p) { return p.car.cdr.cdr; }
672 /*** META ((export #t)
673 (peephole (postfix ".cdr.cdr.cdr")))
674 */
675 function sc_cdddr(p) { return p.cdr.cdr.cdr; }
676 /*** META ((export #t)
677 (peephole (postfix ".car.car.car.car")))
678 */
679 function sc_caaaar(p) { return p.car.car.car.car; }
680 /*** META ((export #t)
681 (peephole (postfix ".car.cdr.car.car")))
682 */
683 function sc_caadar(p) { return p.car.cdr.car.car; }
684 /*** META ((export #t)
685 (peephole (postfix ".cdr.car.car.car")))
686 */
687 function sc_caaadr(p) { return p.cdr.car.car.car; }
688 /*** META ((export #t)
689 (peephole (postfix ".cdr.cdr.car.car")))
690 */
691 function sc_caaddr(p) { return p.cdr.cdr.car.car; }
692 /*** META ((export #t)
693 (peephole (postfix ".car.car.car.cdr")))
694 */
695 function sc_cdaaar(p) { return p.car.car.car.cdr; }
696 /*** META ((export #t)
697 (peephole (postfix ".car.cdr.car.cdr")))
698 */
699 function sc_cdadar(p) { return p.car.cdr.car.cdr; }
700 /*** META ((export #t)
701 (peephole (postfix ".cdr.car.car.cdr")))
702 */
703 function sc_cdaadr(p) { return p.cdr.car.car.cdr; }
704 /*** META ((export #t)
705 (peephole (postfix ".cdr.cdr.car.cdr")))
706 */
707 function sc_cdaddr(p) { return p.cdr.cdr.car.cdr; }
708 /*** META ((export #t)
709 (peephole (postfix ".car.car.cdr.car")))
710 */
711 function sc_cadaar(p) { return p.car.car.cdr.car; }
712 /*** META ((export #t)
713 (peephole (postfix ".car.cdr.cdr.car")))
714 */
715 function sc_caddar(p) { return p.car.cdr.cdr.car; }
716 /*** META ((export #t)
717 (peephole (postfix ".cdr.car.cdr.car")))
718 */
719 function sc_cadadr(p) { return p.cdr.car.cdr.car; }
720 /*** META ((export #t)
721 (peephole (postfix ".cdr.cdr.cdr.car")))
722 */
723 function sc_cadddr(p) { return p.cdr.cdr.cdr.car; }
724 /*** META ((export #t)
725 (peephole (postfix ".car.car.cdr.cdr")))
726 */
727 function sc_cddaar(p) { return p.car.car.cdr.cdr; }
728 /*** META ((export #t)
729 (peephole (postfix ".car.cdr.cdr.cdr")))
730 */
731 function sc_cdddar(p) { return p.car.cdr.cdr.cdr; }
732 /*** META ((export #t)
733 (peephole (postfix ".cdr.car.cdr.cdr")))
734 */
735 function sc_cddadr(p) { return p.cdr.car.cdr.cdr; }
736 /*** META ((export #t)
737 (peephole (postfix ".cdr.cdr.cdr.cdr")))
738 */
739 function sc_cddddr(p) { return p.cdr.cdr.cdr.cdr; }
741 /*** META ((export #t)) */
742 function sc_lastPair(l) {
743 if (!sc_isPair(l)) sc_error("sc_lastPair: pair expected");
744 var res = l;
745 var cdr = l.cdr;
746 while (sc_isPair(cdr)) {
747 res = cdr;
748 cdr = res.cdr;
749 }
750 return res;
751 }
753 /*** META ((export #t)
754 (type bool)
755 (peephole (postfix " === null")))
756 */
757 function sc_isNull(o) {
758 return (o === null);
759 }
761 /*** META ((export #t)
762 (type bool))
763 */
764 function sc_isList(o) {
765 var rabbit;
766 var turtle;
768 var rabbit = o;
769 var turtle = o;
770 while (true) {
771 if (rabbit === null ||
772 (rabbit instanceof sc_Pair && rabbit.cdr === null))
773 return true; // end of list
774 else if ((rabbit instanceof sc_Pair) &&
775 (rabbit.cdr instanceof sc_Pair)) {
776 rabbit = rabbit.cdr.cdr;
777 turtle = turtle.cdr;
778 if (rabbit === turtle) return false; // cycle
779 } else
780 return false; // not pair
781 }
782 }
784 /*** META ((export #t)) */
785 function sc_list() {
786 var res = null;
787 var a = arguments;
788 for (var i = a.length-1; i >= 0; i--)
789 res = new sc_Pair(a[i], res);
790 return res;
791 }
793 /*** META ((export #t)) */
794 function sc_iota(num, init) {
795 var res = null;
796 if (!init) init = 0;
797 for (var i = num - 1; i >= 0; i--)
798 res = new sc_Pair(i + init, res);
799 return res;
800 }
802 /*** META ((export #t)) */
803 function sc_makeList(nbEls, fill) {
804 var res = null;
805 for (var i = 0; i < nbEls; i++)
806 res = new sc_Pair(fill, res);
807 return res;
808 }
810 /*** META ((export #t)) */
811 function sc_length(l) {
812 var res = 0;
813 while (l !== null) {
814 res++;
815 l = l.cdr;
816 }
817 return res;
818 }
820 /*** META ((export #t)) */
821 function sc_remq(o, l) {
822 var dummy = { cdr : null };
823 var tail = dummy;
824 while (l !== null) {
825 if (l.car !== o) {
826 tail.cdr = sc_cons(l.car, null);
827 tail = tail.cdr;
828 }
829 l = l.cdr;
830 }
831 return dummy.cdr;
832 }
834 /*** META ((export #t)) */
835 function sc_remqBang(o, l) {
836 var dummy = { cdr : null };
837 var tail = dummy;
838 var needsAssig = true;
839 while (l !== null) {
840 if (l.car === o) {
841 needsAssig = true;
842 } else {
843 if (needsAssig) {
844 tail.cdr = l;
845 needsAssig = false;
846 }
847 tail = l;
848 }
849 l = l.cdr;
850 }
851 tail.cdr = null;
852 return dummy.cdr;
853 }
855 /*** META ((export #t)) */
856 function sc_delete(o, l) {
857 var dummy = { cdr : null };
858 var tail = dummy;
859 while (l !== null) {
860 if (!sc_isEqual(l.car, o)) {
861 tail.cdr = sc_cons(l.car, null);
862 tail = tail.cdr;
863 }
864 l = l.cdr;
865 }
866 return dummy.cdr;
867 }
869 /*** META ((export #t)) */
870 function sc_deleteBang(o, l) {
871 var dummy = { cdr : null };
872 var tail = dummy;
873 var needsAssig = true;
874 while (l !== null) {
875 if (sc_isEqual(l.car, o)) {
876 needsAssig = true;
877 } else {
878 if (needsAssig) {
879 tail.cdr = l;
880 needsAssig = false;
881 }
882 tail = l;
883 }
884 l = l.cdr;
885 }
886 tail.cdr = null;
887 return dummy.cdr;
888 }
890 function sc_reverseAppendBang(l1, l2) {
891 var res = l2;
892 while (l1 !== null) {
893 var tmp = res;
894 res = l1;
895 l1 = l1.cdr;
896 res.cdr = tmp;
897 }
898 return res;
899 }
901 function sc_dualAppend(l1, l2) {
902 if (l1 === null) return l2;
903 if (l2 === null) return l1;
904 var rev = sc_reverse(l1);
905 return sc_reverseAppendBang(rev, l2);
906 }
908 /*** META ((export #t)) */
909 function sc_append() {
910 if (arguments.length === 0)
911 return null;
912 var res = arguments[arguments.length - 1];
913 for (var i = arguments.length - 2; i >= 0; i--)
914 res = sc_dualAppend(arguments[i], res);
915 return res;
916 }
918 function sc_dualAppendBang(l1, l2) {
919 if (l1 === null) return l2;
920 if (l2 === null) return l1;
921 var tmp = l1;
922 while (tmp.cdr !== null) tmp=tmp.cdr;
923 tmp.cdr = l2;
924 return l1;
925 }
927 /*** META ((export #t)) */
928 function sc_appendBang() {
929 var res = null;
930 for (var i = 0; i < arguments.length; i++)
931 res = sc_dualAppendBang(res, arguments[i]);
932 return res;
933 }
935 /*** META ((export #t)) */
936 function sc_reverse(l1) {
937 var res = null;
938 while (l1 !== null) {
939 res = sc_cons(l1.car, res);
940 l1 = l1.cdr;
941 }
942 return res;
943 }
945 /*** META ((export #t)) */
946 function sc_reverseBang(l) {
947 return sc_reverseAppendBang(l, null);
948 }
950 /*** META ((export #t)) */
951 function sc_listTail(l, k) {
952 var res = l;
953 for (var i = 0; i < k; i++) {
954 res = res.cdr;
955 }
956 return res;
957 }
959 /*** META ((export #t)) */
960 function sc_listRef(l, k) {
961 return sc_listTail(l, k).car;
962 }
964 /* // unoptimized generic versions
965 function sc_memX(o, l, comp) {
966 while (l != null) {
967 if (comp(l.car, o))
968 return l;
969 l = l.cdr;
970 }
971 return false;
972 }
973 function sc_memq(o, l) { return sc_memX(o, l, sc_isEq); }
974 function sc_memv(o, l) { return sc_memX(o, l, sc_isEqv); }
975 function sc_member(o, l) { return sc_memX(o, l, sc_isEqual); }
976 */
978 /* optimized versions */
979 /*** META ((export #t)) */
980 function sc_memq(o, l) {
981 while (l !== null) {
982 if (l.car === o)
983 return l;
984 l = l.cdr;
985 }
986 return false;
987 }
988 /*** META ((export #t)) */
989 function sc_memv(o, l) {
990 while (l !== null) {
991 if (l.car === o)
992 return l;
993 l = l.cdr;
994 }
995 return false;
996 }
997 /*** META ((export #t)) */
998 function sc_member(o, l) {
999 while (l !== null) {
1000 if (sc_isEqual(l.car,o))
1001 return l;
1002 l = l.cdr;
1003 }
1004 return false;
1005 }
1007 /* // generic unoptimized versions
1008 function sc_assX(o, al, comp) {
1009 while (al != null) {
1010 if (comp(al.car.car, o))
1011 return al.car;
1012 al = al.cdr;
1013 }
1014 return false;
1015 }
1016 function sc_assq(o, al) { return sc_assX(o, al, sc_isEq); }
1017 function sc_assv(o, al) { return sc_assX(o, al, sc_isEqv); }
1018 function sc_assoc(o, al) { return sc_assX(o, al, sc_isEqual); }
1019 */
1020 // optimized versions
1021 /*** META ((export #t)) */
1022 function sc_assq(o, al) {
1023 while (al !== null) {
1024 if (al.car.car === o)
1025 return al.car;
1026 al = al.cdr;
1027 }
1028 return false;
1029 }
1030 /*** META ((export #t)) */
1031 function sc_assv(o, al) {
1032 while (al !== null) {
1033 if (al.car.car === o)
1034 return al.car;
1035 al = al.cdr;
1036 }
1037 return false;
1038 }
1039 /*** META ((export #t)) */
1040 function sc_assoc(o, al) {
1041 while (al !== null) {
1042 if (sc_isEqual(al.car.car, o))
1043 return al.car;
1044 al = al.cdr;
1045 }
1046 return false;
1047 }
1049 /* can be used for mutable strings and characters */
1050 function sc_isCharStringEqual(cs1, cs2) { return cs1.val === cs2.val; }
1051 function sc_isCharStringLess(cs1, cs2) { return cs1.val < cs2.val; }
1052 function sc_isCharStringGreater(cs1, cs2) { return cs1.val > cs2.val; }
1053 function sc_isCharStringLessEqual(cs1, cs2) { return cs1.val <= cs2.val; }
1054 function sc_isCharStringGreaterEqual(cs1, cs2) { return cs1.val >= cs2.val; }
1055 function sc_isCharStringCIEqual(cs1, cs2)
1056 { return cs1.val.toLowerCase() === cs2.val.toLowerCase(); }
1057 function sc_isCharStringCILess(cs1, cs2)
1058 { return cs1.val.toLowerCase() < cs2.val.toLowerCase(); }
1059 function sc_isCharStringCIGreater(cs1, cs2)
1060 { return cs1.val.toLowerCase() > cs2.val.toLowerCase(); }
1061 function sc_isCharStringCILessEqual(cs1, cs2)
1062 { return cs1.val.toLowerCase() <= cs2.val.toLowerCase(); }
1063 function sc_isCharStringCIGreaterEqual(cs1, cs2)
1064 { return cs1.val.toLowerCase() >= cs2.val.toLowerCase(); }
1069 function sc_Char(c) {
1070 var cached = sc_Char.lazy[c];
1071 if (cached)
1072 return cached;
1073 this.val = c;
1074 sc_Char.lazy[c] = this;
1075 // add return, so FF does not complain.
1076 return undefined;
1077 }
1078 sc_Char.lazy = new Object();
1079 // thanks to Eric
1080 sc_Char.char2readable = {
1081 "\000": "#\\null",
1082 "\007": "#\\bell",
1083 "\010": "#\\backspace",
1084 "\011": "#\\tab",
1085 "\012": "#\\newline",
1086 "\014": "#\\page",
1087 "\015": "#\\return",
1088 "\033": "#\\escape",
1089 "\040": "#\\space",
1090 "\177": "#\\delete",
1092 /* poeticless names */
1093 "\001": "#\\soh",
1094 "\002": "#\\stx",
1095 "\003": "#\\etx",
1096 "\004": "#\\eot",
1097 "\005": "#\\enq",
1098 "\006": "#\\ack",
1100 "\013": "#\\vt",
1101 "\016": "#\\so",
1102 "\017": "#\\si",
1104 "\020": "#\\dle",
1105 "\021": "#\\dc1",
1106 "\022": "#\\dc2",
1107 "\023": "#\\dc3",
1108 "\024": "#\\dc4",
1109 "\025": "#\\nak",
1110 "\026": "#\\syn",
1111 "\027": "#\\etb",
1113 "\030": "#\\can",
1114 "\031": "#\\em",
1115 "\032": "#\\sub",
1116 "\033": "#\\esc",
1117 "\034": "#\\fs",
1118 "\035": "#\\gs",
1119 "\036": "#\\rs",
1120 "\037": "#\\us"};
1122 sc_Char.readable2char = {
1123 "null": "\000",
1124 "bell": "\007",
1125 "backspace": "\010",
1126 "tab": "\011",
1127 "newline": "\012",
1128 "page": "\014",
1129 "return": "\015",
1130 "escape": "\033",
1131 "space": "\040",
1132 "delete": "\000",
1133 "soh": "\001",
1134 "stx": "\002",
1135 "etx": "\003",
1136 "eot": "\004",
1137 "enq": "\005",
1138 "ack": "\006",
1139 "bel": "\007",
1140 "bs": "\010",
1141 "ht": "\011",
1142 "nl": "\012",
1143 "vt": "\013",
1144 "np": "\014",
1145 "cr": "\015",
1146 "so": "\016",
1147 "si": "\017",
1148 "dle": "\020",
1149 "dc1": "\021",
1150 "dc2": "\022",
1151 "dc3": "\023",
1152 "dc4": "\024",
1153 "nak": "\025",
1154 "syn": "\026",
1155 "etb": "\027",
1156 "can": "\030",
1157 "em": "\031",
1158 "sub": "\032",
1159 "esc": "\033",
1160 "fs": "\034",
1161 "gs": "\035",
1162 "rs": "\036",
1163 "us": "\037",
1164 "sp": "\040",
1165 "del": "\177"};
1167 sc_Char.prototype.toString = function() {
1168 return this.val;
1169 };
1170 // sc_toDisplayString == toString
1171 sc_Char.prototype.sc_toWriteString = function() {
1172 var entry = sc_Char.char2readable[this.val];
1173 if (entry)
1174 return entry;
1175 else
1176 return "#\\" + this.val;
1177 };
1179 /*** META ((export #t)
1180 (type bool)
1181 (peephole (postfix "instanceof sc_Char")))
1182 */
1183 function sc_isChar(c) {
1184 return (c instanceof sc_Char);
1185 }
1187 /*** META ((export char=?)
1188 (type bool)
1189 (peephole (hole 2 c1 ".val === " c2 ".val")))
1190 */
1191 var sc_isCharEqual = sc_isCharStringEqual;
1192 /*** META ((export char<?)
1193 (type bool)
1194 (peephole (hole 2 c1 ".val < " c2 ".val")))
1195 */
1196 var sc_isCharLess = sc_isCharStringLess;
1197 /*** META ((export char>?)
1198 (type bool)
1199 (peephole (hole 2 c1 ".val > " c2 ".val")))
1200 */
1201 var sc_isCharGreater = sc_isCharStringGreater;
1202 /*** META ((export char<=?)
1203 (type bool)
1204 (peephole (hole 2 c1 ".val <= " c2 ".val")))
1205 */
1206 var sc_isCharLessEqual = sc_isCharStringLessEqual;
1207 /*** META ((export char>=?)
1208 (type bool)
1209 (peephole (hole 2 c1 ".val >= " c2 ".val")))
1210 */
1211 var sc_isCharGreaterEqual = sc_isCharStringGreaterEqual;
1212 /*** META ((export char-ci=?)
1213 (type bool)
1214 (peephole (hole 2 c1 ".val.toLowerCase() === " c2 ".val.toLowerCase()")))
1215 */
1216 var sc_isCharCIEqual = sc_isCharStringCIEqual;
1217 /*** META ((export char-ci<?)
1218 (type bool)
1219 (peephole (hole 2 c1 ".val.toLowerCase() < " c2 ".val.toLowerCase()")))
1220 */
1221 var sc_isCharCILess = sc_isCharStringCILess;
1222 /*** META ((export char-ci>?)
1223 (type bool)
1224 (peephole (hole 2 c1 ".val.toLowerCase() > " c2 ".val.toLowerCase()")))
1225 */
1226 var sc_isCharCIGreater = sc_isCharStringCIGreater;
1227 /*** META ((export char-ci<=?)
1228 (type bool)
1229 (peephole (hole 2 c1 ".val.toLowerCase() <= " c2 ".val.toLowerCase()")))
1230 */
1231 var sc_isCharCILessEqual = sc_isCharStringCILessEqual;
1232 /*** META ((export char-ci>=?)
1233 (type bool)
1234 (peephole (hole 2 c1 ".val.toLowerCase() >= " c2 ".val.toLowerCase()")))
1235 */
1236 var sc_isCharCIGreaterEqual = sc_isCharStringCIGreaterEqual;
1238 var SC_NUMBER_CLASS = "0123456789";
1239 var SC_WHITESPACE_CLASS = ' \r\n\t\f';
1240 var SC_LOWER_CLASS = 'abcdefghijklmnopqrstuvwxyz';
1241 var SC_UPPER_CLASS = 'ABCDEFGHIJKLMNOPQRSTUVWXYZ';
1243 function sc_isCharOfClass(c, cl) { return (cl.indexOf(c) != -1); }
1244 /*** META ((export #t)
1245 (type bool))
1246 */
1247 function sc_isCharAlphabetic(c)
1248 { return sc_isCharOfClass(c.val, SC_LOWER_CLASS) ||
1249 sc_isCharOfClass(c.val, SC_UPPER_CLASS); }
1250 /*** META ((export #t)
1251 (type bool)
1252 (peephole (hole 1 "SC_NUMBER_CLASS.indexOf(" c ".val) != -1")))
1253 */
1254 function sc_isCharNumeric(c)
1255 { return sc_isCharOfClass(c.val, SC_NUMBER_CLASS); }
1256 /*** META ((export #t)
1257 (type bool))
1258 */
1259 function sc_isCharWhitespace(c) {
1260 var tmp = c.val;
1261 return tmp === " " || tmp === "\r" || tmp === "\n" || tmp === "\t" || tmp === "\f";
1262 }
1263 /*** META ((export #t)
1264 (type bool)
1265 (peephole (hole 1 "SC_UPPER_CLASS.indexOf(" c ".val) != -1")))
1266 */
1267 function sc_isCharUpperCase(c)
1268 { return sc_isCharOfClass(c.val, SC_UPPER_CLASS); }
1269 /*** META ((export #t)
1270 (type bool)
1271 (peephole (hole 1 "SC_LOWER_CLASS.indexOf(" c ".val) != -1")))
1272 */
1273 function sc_isCharLowerCase(c)
1274 { return sc_isCharOfClass(c.val, SC_LOWER_CLASS); }
1276 /*** META ((export #t)
1277 (peephole (postfix ".val.charCodeAt(0)")))
1278 */
1279 function sc_char2integer(c)
1280 { return c.val.charCodeAt(0); }
1281 /*** META ((export #t)
1282 (peephole (hole 1 "new sc_Char(String.fromCharCode(" n "))")))
1283 */
1284 function sc_integer2char(n)
1285 { return new sc_Char(String.fromCharCode(n)); }
1287 /*** META ((export #t)
1288 (peephole (hole 1 "new sc_Char(" c ".val.toUpperCase())")))
1289 */
1290 function sc_charUpcase(c)
1291 { return new sc_Char(c.val.toUpperCase()); }
1292 /*** META ((export #t)
1293 (peephole (hole 1 "new sc_Char(" c ".val.toLowerCase())")))
1294 */
1295 function sc_charDowncase(c)
1296 { return new sc_Char(c.val.toLowerCase()); }
1298 function sc_makeJSStringOfLength(k, c) {
1299 var fill;
1300 if (c === undefined)
1301 fill = " ";
1302 else
1303 fill = c;
1304 var res = "";
1305 var len = 1;
1306 // every round doubles the size of fill.
1307 while (k >= len) {
1308 if (k & len)
1309 res = res.concat(fill);
1310 fill = fill.concat(fill);
1311 len *= 2;
1312 }
1313 return res;
1314 }
1316 function sc_makejsString(k, c) {
1317 var fill;
1318 if (c)
1319 fill = c.val;
1320 else
1321 fill = " ";
1322 return sc_makeJSStringOfLength(k, fill);
1323 }
1325 function sc_jsstring2list(s) {
1326 var res = null;
1327 for (var i = s.length - 1; i >= 0; i--)
1328 res = sc_cons(new sc_Char(s.charAt(i)), res);
1329 return res;
1330 }
1332 function sc_list2jsstring(l) {
1333 var a = new Array();
1334 while(l !== null) {
1335 a.push(l.car.val);
1336 l = l.cdr;
1337 }
1338 return "".concat.apply("", a);
1339 }
1341 var sc_Vector = Array;
1343 sc_Vector.prototype.sc_toWriteOrDisplayString = function(writeOrDisplay) {
1344 if (this.length === 0) return "#()";
1346 var res = "#(" + writeOrDisplay(this[0]);
1347 for (var i = 1; i < this.length; i++)
1348 res += " " + writeOrDisplay(this[i]);
1349 res += ")";
1350 return res;
1351 };
1352 sc_Vector.prototype.sc_toDisplayString = function() {
1353 return this.sc_toWriteOrDisplayString(sc_toDisplayString);
1354 };
1355 sc_Vector.prototype.sc_toWriteString = function() {
1356 return this.sc_toWriteOrDisplayString(sc_toWriteString);
1357 };
1359 /*** META ((export vector? array?)
1360 (type bool)
1361 (peephole (postfix " instanceof sc_Vector")))
1362 */
1363 function sc_isVector(v) {
1364 return (v instanceof sc_Vector);
1365 }
1367 // only applies to vectors
1368 function sc_isVectorEqual(v1, v2, comp) {
1369 if (v1.length !== v2.length) return false;
1370 for (var i = 0; i < v1.length; i++)
1371 if (!comp(v1[i], v2[i])) return false;
1372 return true;
1373 }
1375 /*** META ((export make-vector make-array)) */
1376 function sc_makeVector(size, fill) {
1377 var a = new sc_Vector(size);
1378 if (fill !== undefined)
1379 sc_vectorFillBang(a, fill);
1380 return a;
1381 }
1383 /*** META ((export vector array)
1384 (peephole (vector)))
1385 */
1386 function sc_vector() {
1387 var a = new sc_Vector();
1388 for (var i = 0; i < arguments.length; i++)
1389 a.push(arguments[i]);
1390 return a;
1391 }
1393 /*** META ((export vector-length array-length)
1394 (peephole (postfix ".length")))
1395 */
1396 function sc_vectorLength(v) {
1397 return v.length;
1398 }
1400 /*** META ((export vector-ref array-ref)
1401 (peephole (hole 2 v "[" pos "]")))
1402 */
1403 function sc_vectorRef(v, pos) {
1404 return v[pos];
1405 }
1407 /*** META ((export vector-set! array-set!)
1408 (peephole (hole 3 v "[" pos "] = " val)))
1409 */
1410 function sc_vectorSetBang(v, pos, val) {
1411 v[pos] = val;
1412 }
1414 /*** META ((export vector->list array->list)) */
1415 function sc_vector2list(a) {
1416 var res = null;
1417 for (var i = a.length-1; i >= 0; i--)
1418 res = sc_cons(a[i], res);
1419 return res;
1420 }
1422 /*** META ((export list->vector list->array)) */
1423 function sc_list2vector(l) {
1424 var a = new sc_Vector();
1425 while(l !== null) {
1426 a.push(l.car);
1427 l = l.cdr;
1428 }
1429 return a;
1430 }
1432 /*** META ((export vector-fill! array-fill!)) */
1433 function sc_vectorFillBang(a, fill) {
1434 for (var i = 0; i < a.length; i++)
1435 a[i] = fill;
1436 }
1439 /*** META ((export #t)) */
1440 function sc_copyVector(a, len) {
1441 if (len <= a.length)
1442 return a.slice(0, len);
1443 else {
1444 var tmp = a.concat();
1445 tmp.length = len;
1446 return tmp;
1447 }
1448 }
1450 /*** META ((export #t)
1451 (peephole (hole 3 a ".slice(" start "," end ")")))
1452 */
1453 function sc_vectorCopy(a, start, end) {
1454 return a.slice(start, end);
1455 }
1457 /*** META ((export #t)) */
1458 function sc_vectorCopyBang(target, tstart, source, sstart, send) {
1459 if (!sstart) sstart = 0;
1460 if (!send) send = source.length;
1462 // if target == source we don't want to overwrite not yet copied elements.
1463 if (tstart <= sstart) {
1464 for (var i = tstart, j = sstart; j < send; i++, j++) {
1465 target[i] = source[j];
1466 }
1467 } else {
1468 var diff = send - sstart;
1469 for (var i = tstart + diff - 1, j = send - 1;
1470 j >= sstart;
1471 i--, j--) {
1472 target[i] = source[j];
1473 }
1474 }
1475 return target;
1476 }
1478 /*** META ((export #t)
1479 (type bool)
1480 (peephole (hole 1 "typeof " o " === 'function'")))
1481 */
1482 function sc_isProcedure(o) {
1483 return (typeof o === "function");
1484 }
1486 /*** META ((export #t)) */
1487 function sc_apply(proc) {
1488 var args = new Array();
1489 // first part of arguments are not in list-form.
1490 for (var i = 1; i < arguments.length - 1; i++)
1491 args.push(arguments[i]);
1492 var l = arguments[arguments.length - 1];
1493 while (l !== null) {
1494 args.push(l.car);
1495 l = l.cdr;
1496 }
1497 return proc.apply(null, args);
1498 }
1500 /*** META ((export #t)) */
1501 function sc_map(proc, l1) {
1502 if (l1 === undefined)
1503 return null;
1504 // else
1505 var nbApplyArgs = arguments.length - 1;
1506 var applyArgs = new Array(nbApplyArgs);
1507 var revres = null;
1508 while (l1 !== null) {
1509 for (var i = 0; i < nbApplyArgs; i++) {
1510 applyArgs[i] = arguments[i + 1].car;
1511 arguments[i + 1] = arguments[i + 1].cdr;
1512 }
1513 revres = sc_cons(proc.apply(null, applyArgs), revres);
1514 }
1515 return sc_reverseAppendBang(revres, null);
1516 }
1518 /*** META ((export #t)) */
1519 function sc_mapBang(proc, l1) {
1520 if (l1 === undefined)
1521 return null;
1522 // else
1523 var l1_orig = l1;
1524 var nbApplyArgs = arguments.length - 1;
1525 var applyArgs = new Array(nbApplyArgs);
1526 while (l1 !== null) {
1527 var tmp = l1;
1528 for (var i = 0; i < nbApplyArgs; i++) {
1529 applyArgs[i] = arguments[i + 1].car;
1530 arguments[i + 1] = arguments[i + 1].cdr;
1531 }
1532 tmp.car = proc.apply(null, applyArgs);
1533 }
1534 return l1_orig;
1535 }
1537 /*** META ((export #t)) */
1538 function sc_forEach(proc, l1) {
1539 if (l1 === undefined)
1540 return undefined;
1541 // else
1542 var nbApplyArgs = arguments.length - 1;
1543 var applyArgs = new Array(nbApplyArgs);
1544 while (l1 !== null) {
1545 for (var i = 0; i < nbApplyArgs; i++) {
1546 applyArgs[i] = arguments[i + 1].car;
1547 arguments[i + 1] = arguments[i + 1].cdr;
1548 }
1549 proc.apply(null, applyArgs);
1550 }
1551 // add return so FF does not complain.
1552 return undefined;
1553 }
1555 /*** META ((export #t)) */
1556 function sc_filter(proc, l1) {
1557 var dummy = { cdr : null };
1558 var tail = dummy;
1559 while (l1 !== null) {
1560 if (proc(l1.car) !== false) {
1561 tail.cdr = sc_cons(l1.car, null);
1562 tail = tail.cdr;
1563 }
1564 l1 = l1.cdr;
1565 }
1566 return dummy.cdr;
1567 }
1569 /*** META ((export #t)) */
1570 function sc_filterBang(proc, l1) {
1571 var head = sc_cons("dummy", l1);
1572 var it = head;
1573 var next = l1;
1574 while (next !== null) {
1575 if (proc(next.car) !== false) {
1576 it.cdr = next
1577 it = next;
1578 }
1579 next = next.cdr;
1580 }
1581 it.cdr = null;
1582 return head.cdr;
1583 }
1585 function sc_filterMap1(proc, l1) {
1586 var revres = null;
1587 while (l1 !== null) {
1588 var tmp = proc(l1.car)
1589 if (tmp !== false) revres = sc_cons(tmp, revres);
1590 l1 = l1.cdr;
1591 }
1592 return sc_reverseAppendBang(revres, null);
1593 }
1594 function sc_filterMap2(proc, l1, l2) {
1595 var revres = null;
1596 while (l1 !== null) {
1597 var tmp = proc(l1.car, l2.car);
1598 if(tmp !== false) revres = sc_cons(tmp, revres);
1599 l1 = l1.cdr;
1600 l2 = l2.cdr
1601 }
1602 return sc_reverseAppendBang(revres, null);
1603 }
1605 /*** META ((export #t)) */
1606 function sc_filterMap(proc, l1, l2, l3) {
1607 if (l2 === undefined)
1608 return sc_filterMap1(proc, l1);
1609 else if (l3 === undefined)
1610 return sc_filterMap2(proc, l1, l2);
1611 // else
1612 var nbApplyArgs = arguments.length - 1;
1613 var applyArgs = new Array(nbApplyArgs);
1614 var revres = null;
1615 while (l1 !== null) {
1616 for (var i = 0; i < nbApplyArgs; i++) {
1617 applyArgs[i] = arguments[i + 1].car;
1618 arguments[i + 1] = arguments[i + 1].cdr;
1619 }
1620 var tmp = proc.apply(null, applyArgs);
1621 if(tmp !== false) revres = sc_cons(tmp, revres);
1622 }
1623 return sc_reverseAppendBang(revres, null);
1624 }
1626 /*** META ((export #t)) */
1627 function sc_any(proc, l) {
1628 var revres = null;
1629 while (l !== null) {
1630 var tmp = proc(l.car);
1631 if(tmp !== false) return tmp;
1632 l = l.cdr;
1633 }
1634 return false;
1635 }
1637 /*** META ((export any?)
1638 (peephole (hole 2 "sc_any(" proc "," l ") !== false")))
1639 */
1640 function sc_anyPred(proc, l) {
1641 return sc_any(proc, l)!== false;
1642 }
1644 /*** META ((export #t)) */
1645 function sc_every(proc, l) {
1646 var revres = null;
1647 var tmp = true;
1648 while (l !== null) {
1649 tmp = proc(l.car);
1650 if (tmp === false) return false;
1651 l = l.cdr;
1652 }
1653 return tmp;
1654 }
1656 /*** META ((export every?)
1657 (peephole (hole 2 "sc_every(" proc "," l ") !== false")))
1658 */
1659 function sc_everyPred(proc, l) {
1660 var tmp = sc_every(proc, l);
1661 if (tmp !== false) return true;
1662 return false;
1663 }
1665 /*** META ((export #t)
1666 (peephole (postfix "()")))
1667 */
1668 function sc_force(o) {
1669 return o();
1670 }
1672 /*** META ((export #t)) */
1673 function sc_makePromise(proc) {
1674 var isResultReady = false;
1675 var result = undefined;
1676 return function() {
1677 if (!isResultReady) {
1678 var tmp = proc();
1679 if (!isResultReady) {
1680 isResultReady = true;
1681 result = tmp;
1682 }
1683 }
1684 return result;
1685 };
1686 }
1688 function sc_Values(values) {
1689 this.values = values;
1690 }
1692 /*** META ((export #t)
1693 (peephole (values)))
1694 */
1695 function sc_values() {
1696 if (arguments.length === 1)
1697 return arguments[0];
1698 else
1699 return new sc_Values(arguments);
1700 }
1702 /*** META ((export #t)) */
1703 function sc_callWithValues(producer, consumer) {
1704 var produced = producer();
1705 if (produced instanceof sc_Values)
1706 return consumer.apply(null, produced.values);
1707 else
1708 return consumer(produced);
1709 }
1711 /*** META ((export #t)) */
1712 function sc_dynamicWind(before, thunk, after) {
1713 before();
1714 try {
1715 var res = thunk();
1716 return res;
1717 } finally {
1718 after();
1719 }
1720 }
1723 // TODO: eval/scheme-report-environment/null-environment/interaction-environment
1725 // LIMITATION: 'load' doesn't exist without files.
1726 // LIMITATION: transcript-on/transcript-off doesn't exist without files.
1729 function sc_Struct(name) {
1730 this.name = name;
1731 }
1732 sc_Struct.prototype.sc_toDisplayString = function() {
1733 return "#<struct" + sc_hash(this) + ">";
1734 };
1735 sc_Struct.prototype.sc_toWriteString = sc_Struct.prototype.sc_toDisplayString;
1737 /*** META ((export #t)
1738 (peephole (hole 1 "new sc_Struct(" name ")")))
1739 */
1740 function sc_makeStruct(name) {
1741 return new sc_Struct(name);
1742 }
1744 /*** META ((export #t)
1745 (type bool)
1746 (peephole (postfix " instanceof sc_Struct")))
1747 */
1748 function sc_isStruct(o) {
1749 return (o instanceof sc_Struct);
1750 }
1752 /*** META ((export #t)
1753 (type bool)
1754 (peephole (hole 2 "(" 1 " instanceof sc_Struct) && ( " 1 ".name === " 0 ")")))
1755 */
1756 function sc_isStructNamed(name, s) {
1757 return ((s instanceof sc_Struct) && (s.name === name));
1758 }
1760 /*** META ((export struct-field)
1761 (peephole (hole 3 0 "[" 2 "]")))
1762 */
1763 function sc_getStructField(s, name, field) {
1764 return s[field];
1765 }
1767 /*** META ((export struct-field-set!)
1768 (peephole (hole 4 0 "[" 2 "] = " 3)))
1769 */
1770 function sc_setStructFieldBang(s, name, field, val) {
1771 s[field] = val;
1772 }
1774 /*** META ((export #t)
1775 (peephole (prefix "~")))
1776 */
1777 function sc_bitNot(x) {
1778 return ~x;
1779 }
1781 /*** META ((export #t)
1782 (peephole (infix 2 2 "&")))
1783 */
1784 function sc_bitAnd(x, y) {
1785 return x & y;
1786 }
1788 /*** META ((export #t)
1789 (peephole (infix 2 2 "|")))
1790 */
1791 function sc_bitOr(x, y) {
1792 return x | y;
1793 }
1795 /*** META ((export #t)
1796 (peephole (infix 2 2 "^")))
1797 */
1798 function sc_bitXor(x, y) {
1799 return x ^ y;
1800 }
1802 /*** META ((export #t)
1803 (peephole (infix 2 2 "<<")))
1804 */
1805 function sc_bitLsh(x, y) {
1806 return x << y;
1807 }
1809 /*** META ((export #t)
1810 (peephole (infix 2 2 ">>")))
1811 */
1812 function sc_bitRsh(x, y) {
1813 return x >> y;
1814 }
1816 /*** META ((export #t)
1817 (peephole (infix 2 2 ">>>")))
1818 */
1819 function sc_bitUrsh(x, y) {
1820 return x >>> y;
1821 }
1823 /*** META ((export js-field js-property)
1824 (peephole (hole 2 o "[" field "]")))
1825 */
1826 function sc_jsField(o, field) {
1827 return o[field];
1828 }
1830 /*** META ((export js-field-set! js-property-set!)
1831 (peephole (hole 3 o "[" field "] = " val)))
1832 */
1833 function sc_setJsFieldBang(o, field, val) {
1834 return o[field] = val;
1835 }
1837 /*** META ((export js-field-delete! js-property-delete!)
1838 (peephole (hole 2 "delete" o "[" field "]")))
1839 */
1840 function sc_deleteJsFieldBang(o, field) {
1841 delete o[field];
1842 }
1844 /*** META ((export #t)
1845 (peephole (jsCall)))
1846 */
1847 function sc_jsCall(o, fun) {
1848 var args = new Array();
1849 for (var i = 2; i < arguments.length; i++)
1850 args[i-2] = arguments[i];
1851 return fun.apply(o, args);
1852 }
1854 /*** META ((export #t)
1855 (peephole (jsMethodCall)))
1856 */
1857 function sc_jsMethodCall(o, field) {
1858 var args = new Array();
1859 for (var i = 2; i < arguments.length; i++)
1860 args[i-2] = arguments[i];
1861 return o[field].apply(o, args);
1862 }
1864 /*** META ((export new js-new)
1865 (peephole (jsNew)))
1866 */
1867 function sc_jsNew(c) {
1868 var evalStr = "new c(";
1869 evalStr +=arguments.length > 1? "arguments[1]": "";
1870 for (var i = 2; i < arguments.length; i++)
1871 evalStr += ", arguments[" + i + "]";
1872 evalStr +=")";
1873 return eval(evalStr);
1874 }
1876 // ======================== RegExp ====================
1877 /*** META ((export #t)) */
1878 function sc_pregexp(re) {
1879 return new RegExp(sc_string2jsstring(re));
1880 }
1882 /*** META ((export #t)) */
1883 function sc_pregexpMatch(re, s) {
1884 var reg = (re instanceof RegExp) ? re : sc_pregexp(re);
1885 var tmp = reg.exec(sc_string2jsstring(s));
1887 if (tmp == null) return false;
1889 var res = null;
1890 for (var i = tmp.length-1; i >= 0; i--) {
1891 if (tmp[i] !== null) {
1892 res = sc_cons(sc_jsstring2string(tmp[i]), res);
1893 } else {
1894 res = sc_cons(false, res);
1895 }
1896 }
1897 return res;
1898 }
1900 /*** META ((export #t)) */
1901 function sc_pregexpReplace(re, s1, s2) {
1902 var reg;
1903 var jss1 = sc_string2jsstring(s1);
1904 var jss2 = sc_string2jsstring(s2);
1906 if (re instanceof RegExp) {
1907 if (re.global)
1908 reg = re;
1909 else
1910 reg = new RegExp(re.source);
1911 } else {
1912 reg = new RegExp(sc_string2jsstring(re));
1913 }
1915 return jss1.replace(reg, jss2);
1916 }
1918 /*** META ((export pregexp-replace*)) */
1919 function sc_pregexpReplaceAll(re, s1, s2) {
1920 var reg;
1921 var jss1 = sc_string2jsstring(s1);
1922 var jss2 = sc_string2jsstring(s2);
1924 if (re instanceof RegExp) {
1925 if (re.global)
1926 reg = re;
1927 else
1928 reg = new RegExp(re.source, "g");
1929 } else {
1930 reg = new RegExp(sc_string2jsstring(re), "g");
1931 }
1933 return jss1.replace(reg, jss2);
1934 }
1936 /*** META ((export #t)) */
1937 function sc_pregexpSplit(re, s) {
1938 var reg = ((re instanceof RegExp) ?
1939 re :
1940 new RegExp(sc_string2jsstring(re)));
1941 var jss = sc_string2jsstring(s);
1942 var tmp = jss.split(reg);
1944 if (tmp == null) return false;
1946 return sc_vector2list(tmp);
1947 }
1950 /* =========================================================================== */
1951 /* Other library stuff */
1952 /* =========================================================================== */
1954 /*** META ((export #t)
1955 (peephole (hole 1 "Math.floor(Math.random()*" 'n ")")))
1956 */
1957 function sc_random(n) {
1958 return Math.floor(Math.random()*n);
1959 }
1961 /*** META ((export current-date)
1962 (peephole (hole 0 "new Date()")))
1963 */
1964 function sc_currentDate() {
1965 return new Date();
1966 }
1968 function sc_Hashtable() {
1969 }
1970 sc_Hashtable.prototype.toString = function() {
1971 return "#{%hashtable}";
1972 };
1973 // sc_toWriteString == sc_toDisplayString == toString
1975 function sc_HashtableElement(key, val) {
1976 this.key = key;
1977 this.val = val;
1978 }
1980 /*** META ((export #t)
1981 (peephole (hole 0 "new sc_Hashtable()")))
1982 */
1983 function sc_makeHashtable() {
1984 return new sc_Hashtable();
1985 }
1987 /*** META ((export #t)) */
1988 function sc_hashtablePutBang(ht, key, val) {
1989 var hash = sc_hash(key);
1990 ht[hash] = new sc_HashtableElement(key, val);
1991 }
1993 /*** META ((export #t)) */
1994 function sc_hashtableGet(ht, key) {
1995 var hash = sc_hash(key);
1996 if (hash in ht)
1997 return ht[hash].val;
1998 else
1999 return false;
2000 }
2002 /*** META ((export #t)) */
2003 function sc_hashtableForEach(ht, f) {
2004 for (var v in ht) {
2005 if (ht[v] instanceof sc_HashtableElement)
2006 f(ht[v].key, ht[v].val);
2007 }
2008 }
2010 /*** META ((export hashtable-contains?)
2011 (peephole (hole 2 "sc_hash(" 1 ") in " 0)))
2012 */
2013 function sc_hashtableContains(ht, key) {
2014 var hash = sc_hash(key);
2015 if (hash in ht)
2016 return true;
2017 else
2018 return false;
2019 }
2021 var SC_HASH_COUNTER = 0;
2023 function sc_hash(o) {
2024 if (o === null)
2025 return "null";
2026 else if (o === undefined)
2027 return "undefined";
2028 else if (o === true)
2029 return "true";
2030 else if (o === false)
2031 return "false";
2032 else if (typeof o === "number")
2033 return "num-" + o;
2034 else if (typeof o === "string")
2035 return "jsstr-" + o;
2036 else if (o.sc_getHash)
2037 return o.sc_getHash();
2038 else
2039 return sc_counterHash.call(o);
2040 }
2041 function sc_counterHash() {
2042 if (!this.sc_hash) {
2043 this.sc_hash = "hash-" + SC_HASH_COUNTER;
2044 SC_HASH_COUNTER++;
2045 }
2046 return this.sc_hash;
2047 }
2049 function sc_Trampoline(args, maxTailCalls) {
2050 this['__trampoline return__'] = true;
2051 this.args = args;
2052 this.MAX_TAIL_CALLs = maxTailCalls;
2053 }
2054 // TODO: call/cc stuff
2055 sc_Trampoline.prototype.restart = function() {
2056 var o = this;
2057 while (true) {
2058 // set both globals.
2059 SC_TAIL_OBJECT.calls = o.MAX_TAIL_CALLs-1;
2060 var fun = o.args.callee;
2061 var res = fun.apply(SC_TAIL_OBJECT, o.args);
2062 if (res instanceof sc_Trampoline)
2063 o = res;
2064 else
2065 return res;
2066 }
2067 }
2069 /*** META ((export bind-exit-lambda)) */
2070 function sc_bindExitLambda(proc) {
2071 var escape_obj = new sc_BindExitException();
2072 var escape = function(res) {
2073 escape_obj.res = res;
2074 throw escape_obj;
2075 };
2076 try {
2077 return proc(escape);
2078 } catch(e) {
2079 if (e === escape_obj) {
2080 return e.res;
2081 }
2082 throw e;
2083 }
2084 }
2085 function sc_BindExitException() {
2086 this._internalException = true;
2087 }
2089 var SC_SCM2JS_GLOBALS = new Object();
2091 // default tail-call depth.
2092 // normally the program should set it again. but just in case...
2093 var SC_TAIL_OBJECT = new Object();
2094 SC_SCM2JS_GLOBALS.TAIL_OBJECT = SC_TAIL_OBJECT;
2095 // ======================== I/O =======================
2097 /*------------------------------------------------------------------*/
2099 function sc_EOF() {
2100 }
2101 var SC_EOF_OBJECT = new sc_EOF();
2103 function sc_Port() {
2104 }
2106 /* --------------- Input ports -------------------------------------*/
2108 function sc_InputPort() {
2109 }
2110 sc_InputPort.prototype = new sc_Port();
2112 sc_InputPort.prototype.peekChar = function() {
2113 if (!("peeked" in this))
2114 this.peeked = this.getNextChar();
2115 return this.peeked;
2116 }
2117 sc_InputPort.prototype.readChar = function() {
2118 var tmp = this.peekChar();
2119 delete this.peeked;
2120 return tmp;
2121 }
2122 sc_InputPort.prototype.isCharReady = function() {
2123 return true;
2124 }
2125 sc_InputPort.prototype.close = function() {
2126 // do nothing
2127 }
2129 /* .............. String port ..........................*/
2130 function sc_ErrorInputPort() {
2131 };
2132 sc_ErrorInputPort.prototype = new sc_InputPort();
2133 sc_ErrorInputPort.prototype.getNextChar = function() {
2134 throw "can't read from error-port.";
2135 };
2136 sc_ErrorInputPort.prototype.isCharReady = function() {
2137 return false;
2138 };
2141 /* .............. String port ..........................*/
2143 function sc_StringInputPort(jsStr) {
2144 // we are going to do some charAts on the str.
2145 // instead of recreating all the time a String-object, we
2146 // create one in the beginning. (not sure, if this is really an optim)
2147 this.str = new String(jsStr);
2148 this.pos = 0;
2149 }
2150 sc_StringInputPort.prototype = new sc_InputPort();
2151 sc_StringInputPort.prototype.getNextChar = function() {
2152 if (this.pos >= this.str.length)
2153 return SC_EOF_OBJECT;
2154 return this.str.charAt(this.pos++);
2155 };
2157 /* ------------- Read and other lib-funs -------------------------------*/
2158 function sc_Token(type, val, pos) {
2159 this.type = type;
2160 this.val = val;
2161 this.pos = pos;
2162 }
2163 sc_Token.EOF = 0/*EOF*/;
2164 sc_Token.OPEN_PAR = 1/*OPEN_PAR*/;
2165 sc_Token.CLOSE_PAR = 2/*CLOSE_PAR*/;
2166 sc_Token.OPEN_BRACE = 3/*OPEN_BRACE*/;
2167 sc_Token.CLOSE_BRACE = 4/*CLOSE_BRACE*/;
2168 sc_Token.OPEN_BRACKET = 5/*OPEN_BRACKET*/;
2169 sc_Token.CLOSE_BRACKET = 6/*CLOSE_BRACKET*/;
2170 sc_Token.WHITESPACE = 7/*WHITESPACE*/;
2171 sc_Token.QUOTE = 8/*QUOTE*/;
2172 sc_Token.ID = 9/*ID*/;
2173 sc_Token.DOT = 10/*DOT*/;
2174 sc_Token.STRING = 11/*STRING*/;
2175 sc_Token.NUMBER = 12/*NUMBER*/;
2176 sc_Token.ERROR = 13/*ERROR*/;
2177 sc_Token.VECTOR_BEGIN = 14/*VECTOR_BEGIN*/;
2178 sc_Token.TRUE = 15/*TRUE*/;
2179 sc_Token.FALSE = 16/*FALSE*/;
2180 sc_Token.UNSPECIFIED = 17/*UNSPECIFIED*/;
2181 sc_Token.REFERENCE = 18/*REFERENCE*/;
2182 sc_Token.STORE = 19/*STORE*/;
2183 sc_Token.CHAR = 20/*CHAR*/;
2185 var SC_ID_CLASS = SC_LOWER_CLASS + SC_UPPER_CLASS + "!$%*+-./:<=>?@^_~";
2186 function sc_Tokenizer(port) {
2187 this.port = port;
2188 }
2189 sc_Tokenizer.prototype.peekToken = function() {
2190 if (this.peeked)
2191 return this.peeked;
2192 var newToken = this.nextToken();
2193 this.peeked = newToken;
2194 return newToken;
2195 };
2196 sc_Tokenizer.prototype.readToken = function() {
2197 var tmp = this.peekToken();
2198 delete this.peeked;
2199 return tmp;
2200 };
2201 sc_Tokenizer.prototype.nextToken = function() {
2202 var port = this.port;
2204 function isNumberChar(c) {
2205 return (c >= "0" && c <= "9");
2206 };
2207 function isIdOrNumberChar(c) {
2208 return SC_ID_CLASS.indexOf(c) != -1 || // ID-char
2209 (c >= "0" && c <= "9");
2210 }
2211 function isWhitespace(c) {
2212 return c === " " || c === "\r" || c === "\n" || c === "\t" || c === "\f";
2213 };
2214 function isWhitespaceOrEOF(c) {
2215 return isWhitespace(c) || c === SC_EOF_OBJECT;
2216 };
2218 function readString() {
2219 res = "";
2220 while (true) {
2221 var c = port.readChar();
2222 switch (c) {
2223 case '"':
2224 return new sc_Token(11/*STRING*/, res);
2225 case "\\":
2226 var tmp = port.readChar();
2227 switch (tmp) {
2228 case '0': res += "\0"; break;
2229 case 'a': res += "\a"; break;
2230 case 'b': res += "\b"; break;
2231 case 'f': res += "\f"; break;
2232 case 'n': res += "\n"; break;
2233 case 'r': res += "\r"; break;
2234 case 't': res += "\t"; break;
2235 case 'v': res += "\v"; break;
2236 case '"': res += '"'; break;
2237 case '\\': res += '\\'; break;
2238 case 'x':
2239 /* hexa-number */
2240 var nb = 0;
2241 while (true) {
2242 var hexC = port.peekChar();
2243 if (hexC >= '0' && hexC <= '9') {
2244 port.readChar();
2245 nb = nb * 16 + hexC.charCodeAt(0) - '0'.charCodeAt(0);
2246 } else if (hexC >= 'a' && hexC <= 'f') {
2247 port.readChar();
2248 nb = nb * 16 + hexC.charCodeAt(0) - 'a'.charCodeAt(0);
2249 } else if (hexC >= 'A' && hexC <= 'F') {
2250 port.readChar();
2251 nb = nb * 16 + hexC.charCodeAt(0) - 'A'.charCodeAt(0);
2252 } else {
2253 // next char isn't part of hex.
2254 res += String.fromCharCode(nb);
2255 break;
2256 }
2257 }
2258 break;
2259 default:
2260 if (tmp === SC_EOF_OBJECT) {
2261 return new sc_Token(13/*ERROR*/, "unclosed string-literal" + res);
2262 }
2263 res += tmp;
2264 }
2265 break;
2266 default:
2267 if (c === SC_EOF_OBJECT) {
2268 return new sc_Token(13/*ERROR*/, "unclosed string-literal" + res);
2269 }
2270 res += c;
2271 }
2272 }
2273 };
2274 function readIdOrNumber(firstChar) {
2275 var res = firstChar;
2276 while (isIdOrNumberChar(port.peekChar()))
2277 res += port.readChar();
2278 if (isNaN(res))
2279 return new sc_Token(9/*ID*/, res);
2280 else
2281 return new sc_Token(12/*NUMBER*/, res - 0);
2282 };
2284 function skipWhitespaceAndComments() {
2285 var done = false;
2286 while (!done) {
2287 done = true;
2288 while (isWhitespace(port.peekChar()))
2289 port.readChar();
2290 if (port.peekChar() === ';') {
2291 port.readChar();
2292 done = false;
2293 while (true) {
2294 curChar = port.readChar();
2295 if (curChar === SC_EOF_OBJECT ||
2296 curChar === '\n')
2297 break;
2298 }
2299 }
2300 }
2301 };
2303 function readDot() {
2304 if (isWhitespace(port.peekChar()))
2305 return new sc_Token(10/*DOT*/);
2306 else
2307 return readIdOrNumber(".");
2308 };
2310 function readSharp() {
2311 var c = port.readChar();
2312 if (isWhitespace(c))
2313 return new sc_Token(13/*ERROR*/, "bad #-pattern0.");
2315 // reference
2316 if (isNumberChar(c)) {
2317 var nb = c - 0;
2318 while (isNumberChar(port.peekChar()))
2319 nb = nb*10 + (port.readChar() - 0);
2320 switch (port.readChar()) {
2321 case '#':
2322 return new sc_Token(18/*REFERENCE*/, nb);
2323 case '=':
2324 return new sc_Token(19/*STORE*/, nb);
2325 default:
2326 return new sc_Token(13/*ERROR*/, "bad #-pattern1." + nb);
2327 }
2328 }
2330 if (c === "(")
2331 return new sc_Token(14/*VECTOR_BEGIN*/);
2333 if (c === "\\") { // character
2334 var tmp = ""
2335 while (!isWhitespaceOrEOF(port.peekChar()))
2336 tmp += port.readChar();
2337 switch (tmp.length) {
2338 case 0: // it's escaping a whitespace char:
2339 if (sc_isEOFObject(port.peekChar))
2340 return new sc_Token(13/*ERROR*/, "bad #-pattern2.");
2341 else
2342 return new sc_Token(20/*CHAR*/, port.readChar());
2343 case 1:
2344 return new sc_Token(20/*CHAR*/, tmp);
2345 default:
2346 var entry = sc_Char.readable2char[tmp.toLowerCase()];
2347 if (entry)
2348 return new sc_Token(20/*CHAR*/, entry);
2349 else
2350 return new sc_Token(13/*ERROR*/, "unknown character description: #\\" + tmp);
2351 }
2352 }
2354 // some constants (#t, #f, #unspecified)
2355 var res;
2356 var needing;
2357 switch (c) {
2358 case 't': res = new sc_Token(15/*TRUE*/, true); needing = ""; break;
2359 case 'f': res = new sc_Token(16/*FALSE*/, false); needing = ""; break;
2360 case 'u': res = new sc_Token(17/*UNSPECIFIED*/, undefined); needing = "nspecified"; break;
2361 default:
2362 return new sc_Token(13/*ERROR*/, "bad #-pattern3: " + c);
2363 }
2364 while(true) {
2365 c = port.peekChar();
2366 if ((isWhitespaceOrEOF(c) || c === ')') &&
2367 needing == "")
2368 return res;
2369 else if (isWhitespace(c) || needing == "")
2370 return new sc_Token(13/*ERROR*/, "bad #-pattern4 " + c + " " + needing);
2371 else if (needing.charAt(0) == c) {
2372 port.readChar(); // consume
2373 needing = needing.slice(1);
2374 } else
2375 return new sc_Token(13/*ERROR*/, "bad #-pattern5");
2376 }
2378 };
2380 skipWhitespaceAndComments();
2381 var curChar = port.readChar();
2382 if (curChar === SC_EOF_OBJECT)
2383 return new sc_Token(0/*EOF*/, curChar);
2384 switch (curChar)
2385 {
2386 case " ":
2387 case "\n":
2388 case "\t":
2389 return readWhitespace();
2390 case "(":
2391 return new sc_Token(1/*OPEN_PAR*/);
2392 case ")":
2393 return new sc_Token(2/*CLOSE_PAR*/);
2394 case "{":
2395 return new sc_Token(3/*OPEN_BRACE*/);
2396 case "}":
2397 return new sc_Token(4/*CLOSE_BRACE*/);
2398 case "[":
2399 return new sc_Token(5/*OPEN_BRACKET*/);
2400 case "]":
2401 return new sc_Token(6/*CLOSE_BRACKET*/);
2402 case "'":
2403 return new sc_Token(8/*QUOTE*/);
2404 case "#":
2405 return readSharp();
2406 case ".":
2407 return readDot();
2408 case '"':
2409 return readString();
2410 default:
2411 if (isIdOrNumberChar(curChar))
2412 return readIdOrNumber(curChar);
2413 throw "unexpected character: " + curChar;
2414 }
2415 };
2417 function sc_Reader(tokenizer) {
2418 this.tokenizer = tokenizer;
2419 this.backref = new Array();
2420 }
2421 sc_Reader.prototype.read = function() {
2422 function readList(listBeginType) {
2423 function matchesPeer(open, close) {
2424 return open === 1/*OPEN_PAR*/ && close === 2/*CLOSE_PAR*/
2425 || open === 3/*OPEN_BRACE*/ && close === 4/*CLOSE_BRACE*/
2426 || open === 5/*OPEN_BRACKET*/ && close === 6/*CLOSE_BRACKET*/;
2427 };
2428 var res = null;
2430 while (true) {
2431 var token = tokenizer.peekToken();
2433 switch (token.type) {
2434 case 2/*CLOSE_PAR*/:
2435 case 4/*CLOSE_BRACE*/:
2436 case 6/*CLOSE_BRACKET*/:
2437 if (matchesPeer(listBeginType, token.type)) {
2438 tokenizer.readToken(); // consume token
2439 return sc_reverseBang(res);
2440 } else
2441 throw "closing par doesn't match: " + listBeginType
2442 + " " + listEndType;
2444 case 0/*EOF*/:
2445 throw "unexpected end of file";
2447 case 10/*DOT*/:
2448 tokenizer.readToken(); // consume token
2449 var cdr = this.read();
2450 var par = tokenizer.readToken();
2451 if (!matchesPeer(listBeginType, par.type))
2452 throw "closing par doesn't match: " + listBeginType
2453 + " " + par.type;
2454 else
2455 return sc_reverseAppendBang(res, cdr);
2458 default:
2459 res = sc_cons(this.read(), res);
2460 }
2461 }
2462 };
2463 function readQuote() {
2464 return sc_cons("quote", sc_cons(this.read(), null));
2465 };
2466 function readVector() {
2467 // opening-parenthesis is already consumed
2468 var a = new Array();
2469 while (true) {
2470 var token = tokenizer.peekToken();
2471 switch (token.type) {
2472 case 2/*CLOSE_PAR*/:
2473 tokenizer.readToken();
2474 return a;
2476 default:
2477 a.push(this.read());
2478 }
2479 }
2480 };
2482 function storeRefence(nb) {
2483 var tmp = this.read();
2484 this.backref[nb] = tmp;
2485 return tmp;
2486 };
2488 function readReference(nb) {
2489 if (nb in this.backref)
2490 return this.backref[nb];
2491 else
2492 throw "bad reference: " + nb;
2493 };
2495 var tokenizer = this.tokenizer;
2497 var token = tokenizer.readToken();
2499 // handle error
2500 if (token.type === 13/*ERROR*/)
2501 throw token.val;
2503 switch (token.type) {
2504 case 1/*OPEN_PAR*/:
2505 case 3/*OPEN_BRACE*/:
2506 case 5/*OPEN_BRACKET*/:
2507 return readList.call(this, token.type);
2508 case 8/*QUOTE*/:
2509 return readQuote.call(this);
2510 case 11/*STRING*/:
2511 return sc_jsstring2string(token.val);
2512 case 20/*CHAR*/:
2513 return new sc_Char(token.val);
2514 case 14/*VECTOR_BEGIN*/:
2515 return readVector.call(this);
2516 case 18/*REFERENCE*/:
2517 return readReference.call(this, token.val);
2518 case 19/*STORE*/:
2519 return storeRefence.call(this, token.val);
2520 case 9/*ID*/:
2521 return sc_jsstring2symbol(token.val);
2522 case 0/*EOF*/:
2523 case 12/*NUMBER*/:
2524 case 15/*TRUE*/:
2525 case 16/*FALSE*/:
2526 case 17/*UNSPECIFIED*/:
2527 return token.val;
2528 default:
2529 throw "unexpected token " + token.type + " " + token.val;
2530 }
2531 };
2533 /*** META ((export #t)) */
2534 function sc_read(port) {
2535 if (port === undefined) // we assume the port hasn't been given.
2536 port = SC_DEFAULT_IN; // THREAD: shared var...
2537 var reader = new sc_Reader(new sc_Tokenizer(port));
2538 return reader.read();
2539 }
2540 /*** META ((export #t)) */
2541 function sc_readChar(port) {
2542 if (port === undefined) // we assume the port hasn't been given.
2543 port = SC_DEFAULT_IN; // THREAD: shared var...
2544 var t = port.readChar();
2545 return t === SC_EOF_OBJECT? t: new sc_Char(t);
2546 }
2547 /*** META ((export #t)) */
2548 function sc_peekChar(port) {
2549 if (port === undefined) // we assume the port hasn't been given.
2550 port = SC_DEFAULT_IN; // THREAD: shared var...
2551 var t = port.peekChar();
2552 return t === SC_EOF_OBJECT? t: new sc_Char(t);
2553 }
2554 /*** META ((export #t)
2555 (type bool))
2556 */
2557 function sc_isCharReady(port) {
2558 if (port === undefined) // we assume the port hasn't been given.
2559 port = SC_DEFAULT_IN; // THREAD: shared var...
2560 return port.isCharReady();
2561 }
2562 /*** META ((export #t)
2563 (peephole (postfix ".close()")))
2564 */
2565 function sc_closeInputPort(p) {
2566 return p.close();
2567 }
2569 /*** META ((export #t)
2570 (type bool)
2571 (peephole (postfix " instanceof sc_InputPort")))
2572 */
2573 function sc_isInputPort(o) {
2574 return (o instanceof sc_InputPort);
2575 }
2577 /*** META ((export eof-object?)
2578 (type bool)
2579 (peephole (postfix " === SC_EOF_OBJECT")))
2580 */
2581 function sc_isEOFObject(o) {
2582 return o === SC_EOF_OBJECT;
2583 }
2585 /*** META ((export #t)
2586 (peephole (hole 0 "SC_DEFAULT_IN")))
2587 */
2588 function sc_currentInputPort() {
2589 return SC_DEFAULT_IN;
2590 }
2592 /* ------------ file operations are not supported -----------*/
2593 /*** META ((export #t)) */
2594 function sc_callWithInputFile(s, proc) {
2595 throw "can't open " + s;
2596 }
2598 /*** META ((export #t)) */
2599 function sc_callWithOutputFile(s, proc) {
2600 throw "can't open " + s;
2601 }
2603 /*** META ((export #t)) */
2604 function sc_withInputFromFile(s, thunk) {
2605 throw "can't open " + s;
2606 }
2608 /*** META ((export #t)) */
2609 function sc_withOutputToFile(s, thunk) {
2610 throw "can't open " + s;
2611 }
2613 /*** META ((export #t)) */
2614 function sc_openInputFile(s) {
2615 throw "can't open " + s;
2616 }
2618 /*** META ((export #t)) */
2619 function sc_openOutputFile(s) {
2620 throw "can't open " + s;
2621 }
2623 /* ----------------------------------------------------------------------------*/
2624 /*** META ((export #t)) */
2625 function sc_basename(p) {
2626 var i = p.lastIndexOf('/');
2628 if(i >= 0)
2629 return p.substring(i + 1, p.length);
2630 else
2631 return '';
2632 }
2634 /*** META ((export #t)) */
2635 function sc_dirname(p) {
2636 var i = p.lastIndexOf('/');
2638 if(i >= 0)
2639 return p.substring(0, i);
2640 else
2641 return '';
2642 }
2644 /* ----------------------------------------------------------------------------*/
2646 /*** META ((export #t)) */
2647 function sc_withInputFromPort(p, thunk) {
2648 try {
2649 var tmp = SC_DEFAULT_IN; // THREAD: shared var.
2650 SC_DEFAULT_IN = p;
2651 return thunk();
2652 } finally {
2653 SC_DEFAULT_IN = tmp;
2654 }
2655 }
2657 /*** META ((export #t)) */
2658 function sc_withInputFromString(s, thunk) {
2659 return sc_withInputFromPort(new sc_StringInputPort(sc_string2jsstring(s)), thunk);
2660 }
2662 /*** META ((export #t)) */
2663 function sc_withOutputToPort(p, thunk) {
2664 try {
2665 var tmp = SC_DEFAULT_OUT; // THREAD: shared var.
2666 SC_DEFAULT_OUT = p;
2667 return thunk();
2668 } finally {
2669 SC_DEFAULT_OUT = tmp;
2670 }
2671 }
2673 /*** META ((export #t)) */
2674 function sc_withOutputToString(thunk) {
2675 var p = new sc_StringOutputPort();
2676 sc_withOutputToPort(p, thunk);
2677 return p.close();
2678 }
2680 /*** META ((export #t)) */
2681 function sc_withOutputToProcedure(proc, thunk) {
2682 var t = function(s) { proc(sc_jsstring2string(s)); };
2683 return sc_withOutputToPort(new sc_GenericOutputPort(t), thunk);
2684 }
2686 /*** META ((export #t)
2687 (peephole (hole 0 "new sc_StringOutputPort()")))
2688 */
2689 function sc_openOutputString() {
2690 return new sc_StringOutputPort();
2691 }
2693 /*** META ((export #t)) */
2694 function sc_openInputString(str) {
2695 return new sc_StringInputPort(sc_string2jsstring(str));
2696 }
2698 /* ----------------------------------------------------------------------------*/
2700 function sc_OutputPort() {
2701 }
2702 sc_OutputPort.prototype = new sc_Port();
2703 sc_OutputPort.prototype.appendJSString = function(obj) {
2704 /* do nothing */
2705 }
2706 sc_OutputPort.prototype.close = function() {
2707 /* do nothing */
2708 }
2710 function sc_StringOutputPort() {
2711 this.res = "";
2712 }
2713 sc_StringOutputPort.prototype = new sc_OutputPort();
2714 sc_StringOutputPort.prototype.appendJSString = function(s) {
2715 this.res += s;
2716 }
2717 sc_StringOutputPort.prototype.close = function() {
2718 return sc_jsstring2string(this.res);
2719 }
2721 /*** META ((export #t)) */
2722 function sc_getOutputString(sp) {
2723 return sc_jsstring2string(sp.res);
2724 }
2727 function sc_ErrorOutputPort() {
2728 }
2729 sc_ErrorOutputPort.prototype = new sc_OutputPort();
2730 sc_ErrorOutputPort.prototype.appendJSString = function(s) {
2731 throw "don't write on ErrorPort!";
2732 }
2733 sc_ErrorOutputPort.prototype.close = function() {
2734 /* do nothing */
2735 }
2737 function sc_GenericOutputPort(appendJSString, close) {
2738 this.appendJSString = appendJSString;
2739 if (close)
2740 this.close = close;
2741 }
2742 sc_GenericOutputPort.prototype = new sc_OutputPort();
2744 /*** META ((export #t)
2745 (type bool)
2746 (peephole (postfix " instanceof sc_OutputPort")))
2747 */
2748 function sc_isOutputPort(o) {
2749 return (o instanceof sc_OutputPort);
2750 }
2752 /*** META ((export #t)
2753 (peephole (postfix ".close()")))
2754 */
2755 function sc_closeOutputPort(p) {
2756 return p.close();
2757 }
2759 /* ------------------ write ---------------------------------------------------*/
2761 /*** META ((export #t)) */
2762 function sc_write(o, p) {
2763 if (p === undefined) // we assume not given
2764 p = SC_DEFAULT_OUT;
2765 p.appendJSString(sc_toWriteString(o));
2766 }
2768 function sc_toWriteString(o) {
2769 if (o === null)
2770 return "()";
2771 else if (o === true)
2772 return "#t";
2773 else if (o === false)
2774 return "#f";
2775 else if (o === undefined)
2776 return "#unspecified";
2777 else if (typeof o === 'function')
2778 return "#<procedure " + sc_hash(o) + ">";
2779 else if (o.sc_toWriteString)
2780 return o.sc_toWriteString();
2781 else
2782 return o.toString();
2783 }
2785 function sc_escapeWriteString(s) {
2786 var res = "";
2787 var j = 0;
2788 for (i = 0; i < s.length; i++) {
2789 switch (s.charAt(i)) {
2790 case "\0": res += s.substring(j, i) + "\\0"; j = i + 1; break;
2791 case "\b": res += s.substring(j, i) + "\\b"; j = i + 1; break;
2792 case "\f": res += s.substring(j, i) + "\\f"; j = i + 1; break;
2793 case "\n": res += s.substring(j, i) + "\\n"; j = i + 1; break;
2794 case "\r": res += s.substring(j, i) + "\\r"; j = i + 1; break;
2795 case "\t": res += s.substring(j, i) + "\\t"; j = i + 1; break;
2796 case "\v": res += s.substring(j, i) + "\\v"; j = i + 1; break;
2797 case '"': res += s.substring(j, i) + '\\"'; j = i + 1; break;
2798 case "\\": res += s.substring(j, i) + "\\\\"; j = i + 1; break;
2799 default:
2800 var c = s.charAt(i);
2801 if ("\a" !== "a" && c == "\a") {
2802 res += s.substring(j, i) + "\\a"; j = i + 1; continue;
2803 }
2804 if ("\v" !== "v" && c == "\v") {
2805 res += s.substring(j, i) + "\\v"; j = i + 1; continue;
2806 }
2807 //if (s.charAt(i) < ' ' || s.charCodeAt(i) > 127) {
2808 // CARE: Manuel is this OK with HOP?
2809 if (s.charAt(i) < ' ') {
2810 /* non printable character and special chars */
2811 res += s.substring(j, i) + "\\x" + s.charCodeAt(i).toString(16);
2812 j = i + 1;
2813 }
2814 // else just let i increase...
2815 }
2816 }
2817 res += s.substring(j, i);
2818 return res;
2819 }
2821 /* ------------------ display ---------------------------------------------------*/
2823 /*** META ((export #t)) */
2824 function sc_display(o, p) {
2825 if (p === undefined) // we assume not given
2826 p = SC_DEFAULT_OUT;
2827 p.appendJSString(sc_toDisplayString(o));
2828 }
2830 function sc_toDisplayString(o) {
2831 if (o === null)
2832 return "()";
2833 else if (o === true)
2834 return "#t";
2835 else if (o === false)
2836 return "#f";
2837 else if (o === undefined)
2838 return "#unspecified";
2839 else if (typeof o === 'function')
2840 return "#<procedure " + sc_hash(o) + ">";
2841 else if (o.sc_toDisplayString)
2842 return o.sc_toDisplayString();
2843 else
2844 return o.toString();
2845 }
2847 /* ------------------ newline ---------------------------------------------------*/
2849 /*** META ((export #t)) */
2850 function sc_newline(p) {
2851 if (p === undefined) // we assume not given
2852 p = SC_DEFAULT_OUT;
2853 p.appendJSString("\n");
2854 }
2856 /* ------------------ write-char ---------------------------------------------------*/
2858 /*** META ((export #t)) */
2859 function sc_writeChar(c, p) {
2860 if (p === undefined) // we assume not given
2861 p = SC_DEFAULT_OUT;
2862 p.appendJSString(c.val);
2863 }
2865 /* ------------------ write-circle ---------------------------------------------------*/
2867 /*** META ((export #t)) */
2868 function sc_writeCircle(o, p) {
2869 if (p === undefined) // we assume not given
2870 p = SC_DEFAULT_OUT;
2871 p.appendJSString(sc_toWriteCircleString(o));
2872 }
2874 function sc_toWriteCircleString(o) {
2875 var symb = sc_gensym("writeCircle");
2876 var nbPointer = new Object();
2877 nbPointer.nb = 0;
2878 sc_prepWriteCircle(o, symb, nbPointer);
2879 return sc_genToWriteCircleString(o, symb);
2880 }
2882 function sc_prepWriteCircle(o, symb, nbPointer) {
2883 // TODO sc_Struct
2884 if (o instanceof sc_Pair ||
2885 o instanceof sc_Vector) {
2886 if (o[symb] !== undefined) {
2887 // not the first visit.
2888 o[symb]++;
2889 // unless there is already a number, assign one.
2890 if (!o[symb + "nb"]) o[symb + "nb"] = nbPointer.nb++;
2891 return;
2892 }
2893 o[symb] = 0;
2894 if (o instanceof sc_Pair) {
2895 sc_prepWriteCircle(o.car, symb, nbPointer);
2896 sc_prepWriteCircle(o.cdr, symb, nbPointer);
2897 } else {
2898 for (var i = 0; i < o.length; i++)
2899 sc_prepWriteCircle(o[i], symb, nbPointer);
2900 }
2901 }
2902 }
2904 function sc_genToWriteCircleString(o, symb) {
2905 if (!(o instanceof sc_Pair ||
2906 o instanceof sc_Vector))
2907 return sc_toWriteString(o);
2908 return o.sc_toWriteCircleString(symb);
2909 }
2910 sc_Pair.prototype.sc_toWriteCircleString = function(symb, inList) {
2911 if (this[symb + "use"]) { // use-flag is set. Just use it.
2912 var nb = this[symb + "nb"];
2913 if (this[symb]-- === 0) { // if we are the last use. remove all fields.
2914 delete this[symb];
2915 delete this[symb + "nb"];
2916 delete this[symb + "use"];
2917 }
2918 if (inList)
2919 return '. #' + nb + '#';
2920 else
2921 return '#' + nb + '#';
2922 }
2923 if (this[symb]-- === 0) { // if we are the last use. remove all fields.
2924 delete this[symb];
2925 delete this[symb + "nb"];
2926 delete this[symb + "use"];
2927 }
2929 var res = "";
2931 if (this[symb] !== undefined) { // implies > 0
2932 this[symb + "use"] = true;
2933 if (inList)
2934 res += '. #' + this[symb + "nb"] + '=';
2935 else
2936 res += '#' + this[symb + "nb"] + '=';
2937 inList = false;
2938 }
2940 if (!inList)
2941 res += "(";
2943 // print car
2944 res += sc_genToWriteCircleString(this.car, symb);
2946 if (sc_isPair(this.cdr)) {
2947 res += " " + this.cdr.sc_toWriteCircleString(symb, true);
2948 } else if (this.cdr !== null) {
2949 res += " . " + sc_genToWriteCircleString(this.cdr, symb);
2950 }
2951 if (!inList)
2952 res += ")";
2953 return res;
2954 };
2955 sc_Vector.prototype.sc_toWriteCircleString = function(symb) {
2956 if (this[symb + "use"]) { // use-flag is set. Just use it.
2957 var nb = this[symb + "nb"];
2958 if (this[symb]-- === 0) { // if we are the last use. remove all fields.
2959 delete this[symb];
2960 delete this[symb + "nb"];
2961 delete this[symb + "use"];
2962 }
2963 return '#' + nb + '#';
2964 }
2965 if (this[symb]-- === 0) { // if we are the last use. remove all fields.
2966 delete this[symb];
2967 delete this[symb + "nb"];
2968 delete this[symb + "use"];
2969 }
2971 var res = "";
2972 if (this[symb] !== undefined) { // implies > 0
2973 this[symb + "use"] = true;
2974 res += '#' + this[symb + "nb"] + '=';
2975 }
2976 res += "#(";
2977 for (var i = 0; i < this.length; i++) {
2978 res += sc_genToWriteCircleString(this[i], symb);
2979 if (i < this.length - 1) res += " ";
2980 }
2981 res += ")";
2982 return res;
2983 };
2986 /* ------------------ print ---------------------------------------------------*/
2988 /*** META ((export #t)) */
2989 function sc_print(s) {
2990 if (arguments.length === 1) {
2991 sc_display(s);
2992 sc_newline();
2993 }
2994 else {
2995 for (var i = 0; i < arguments.length; i++)
2996 sc_display(arguments[i]);
2997 sc_newline();
2998 }
2999 }
3001 /* ------------------ format ---------------------------------------------------*/
3002 /*** META ((export #t)) */
3003 function sc_format(s, args) {
3004 var len = s.length;
3005 var p = new sc_StringOutputPort();
3006 var i = 0, j = 1;
3008 while( i < len ) {
3009 var i2 = s.indexOf("~", i);
3011 if (i2 == -1) {
3012 p.appendJSString( s.substring( i, len ) );
3013 return p.close();
3014 } else {
3015 if (i2 > i) {
3016 if (i2 == (len - 1)) {
3017 p.appendJSString(s.substring(i, len));
3018 return p.close();
3019 } else {
3020 p.appendJSString(s.substring(i, i2));
3021 i = i2;
3022 }
3023 }
3025 switch(s.charCodeAt(i2 + 1)) {
3026 case 65:
3027 case 97:
3028 // a
3029 sc_display(arguments[j], p);
3030 i += 2; j++;
3031 break;
3033 case 83:
3034 case 115:
3035 // s
3036 sc_write(arguments[j], p);
3037 i += 2; j++;
3038 break;
3040 case 86:
3041 case 118:
3042 // v
3043 sc_display(arguments[j], p);
3044 p.appendJSString("\n");
3045 i += 2; j++;
3046 break;
3048 case 67:
3049 case 99:
3050 // c
3051 p.appendJSString(String.fromCharCode(arguments[j]));
3052 i += 2; j++;
3053 break;
3055 case 88:
3056 case 120:
3057 // x
3058 p.appendJSString(arguments[j].toString(6));
3059 i += 2; j++;
3060 break;
3062 case 79:
3063 case 111:
3064 // o
3065 p.appendJSString(arguments[j].toString(8));
3066 i += 2; j++;
3067 break;
3069 case 66:
3070 case 98:
3071 // b
3072 p.appendJSString(arguments[j].toString(2));
3073 i += 2; j++;
3074 break;
3076 case 37:
3077 case 110:
3078 // %, n
3079 p.appendJSString("\n");
3080 i += 2; break;
3082 case 114:
3083 // r
3084 p.appendJSString("\r");
3085 i += 2; break;
3087 case 126:
3088 // ~
3089 p.appendJSString("~");
3090 i += 2; break;
3092 default:
3093 sc_error( "format: illegal ~"
3094 + String.fromCharCode(s.charCodeAt(i2 + 1))
3095 + " sequence" );
3096 return "";
3097 }
3098 }
3099 }
3101 return p.close();
3102 }
3104 /* ------------------ global ports ---------------------------------------------------*/
3106 var SC_DEFAULT_IN = new sc_ErrorInputPort();
3107 var SC_DEFAULT_OUT = new sc_ErrorOutputPort();
3108 var SC_ERROR_OUT = new sc_ErrorOutputPort();
3110 var sc_SYMBOL_PREFIX = "\u1E9C";
3111 var sc_KEYWORD_PREFIX = "\u1E9D";
3113 /*** META ((export #t)
3114 (peephole (id))) */
3115 function sc_jsstring2string(s) {
3116 return s;
3117 }
3119 /*** META ((export #t)
3120 (peephole (prefix "'\\u1E9C' +")))
3121 */
3122 function sc_jsstring2symbol(s) {
3123 return sc_SYMBOL_PREFIX + s;
3124 }
3126 /*** META ((export #t)
3127 (peephole (id)))
3128 */
3129 function sc_string2jsstring(s) {
3130 return s;
3131 }
3133 /*** META ((export #t)
3134 (peephole (symbol2jsstring_immutable)))
3135 */
3136 function sc_symbol2jsstring(s) {
3137 return s.slice(1);
3138 }
3140 /*** META ((export #t)
3141 (peephole (postfix ".slice(1)")))
3142 */
3143 function sc_keyword2jsstring(k) {
3144 return k.slice(1);
3145 }
3147 /*** META ((export #t)
3148 (peephole (prefix "'\\u1E9D' +")))
3149 */
3150 function sc_jsstring2keyword(s) {
3151 return sc_KEYWORD_PREFIX + s;
3152 }
3154 /*** META ((export #t)
3155 (type bool))
3156 */
3157 function sc_isKeyword(s) {
3158 return (typeof s === "string") &&
3159 (s.charAt(0) === sc_KEYWORD_PREFIX);
3160 }
3163 /*** META ((export #t)) */
3164 var sc_gensym = function() {
3165 var counter = 1000;
3166 return function(sym) {
3167 counter++;
3168 if (!sym) sym = sc_SYMBOL_PREFIX;
3169 return sym + "s" + counter + "~" + "^sC-GeNsYm ";
3170 };
3171 }();
3174 /*** META ((export #t)
3175 (type bool))
3176 */
3177 function sc_isEqual(o1, o2) {
3178 return ((o1 === o2) ||
3179 (sc_isPair(o1) && sc_isPair(o2)
3180 && sc_isPairEqual(o1, o2, sc_isEqual)) ||
3181 (sc_isVector(o1) && sc_isVector(o2)
3182 && sc_isVectorEqual(o1, o2, sc_isEqual)));
3183 }
3185 /*** META ((export number->symbol integer->symbol)) */
3186 function sc_number2symbol(x, radix) {
3187 return sc_SYMBOL_PREFIX + sc_number2jsstring(x, radix);
3188 }
3190 /*** META ((export number->string integer->string)) */
3191 var sc_number2string = sc_number2jsstring;
3193 /*** META ((export #t)) */
3194 function sc_symbol2number(s, radix) {
3195 return sc_jsstring2number(s.slice(1), radix);
3196 }
3198 /*** META ((export #t)) */
3199 var sc_string2number = sc_jsstring2number;
3201 /*** META ((export #t)
3202 (peephole (prefix "+" s)))
3203 ;; peephole will only apply if no radix is given.
3204 */
3205 function sc_string2integer(s, radix) {
3206 if (!radix) return +s;
3207 return parseInt(s, radix);
3208 }
3210 /*** META ((export #t)
3211 (peephole (prefix "+")))
3212 */
3213 function sc_string2real(s) {
3214 return +s;
3215 }
3218 /*** META ((export #t)
3219 (type bool))
3220 */
3221 function sc_isSymbol(s) {
3222 return (typeof s === "string") &&
3223 (s.charAt(0) === sc_SYMBOL_PREFIX);
3224 }
3226 /*** META ((export #t)
3227 (peephole (symbol2string_immutable)))
3228 */
3229 function sc_symbol2string(s) {
3230 return s.slice(1);
3231 }
3233 /*** META ((export #t)
3234 (peephole (prefix "'\\u1E9C' +")))
3235 */
3236 function sc_string2symbol(s) {
3237 return sc_SYMBOL_PREFIX + s;
3238 }
3240 /*** META ((export symbol-append)
3241 (peephole (symbolAppend_immutable)))
3242 */
3243 function sc_symbolAppend() {
3244 var res = sc_SYMBOL_PREFIX;
3245 for (var i = 0; i < arguments.length; i++)
3246 res += arguments[i].slice(1);
3247 return res;
3248 }
3250 /*** META ((export #t)
3251 (peephole (postfix ".val")))
3252 */
3253 function sc_char2string(c) { return c.val; }
3255 /*** META ((export #t)
3256 (peephole (hole 1 "'\\u1E9C' + " c ".val")))
3257 */
3258 function sc_char2symbol(c) { return sc_SYMBOL_PREFIX + c.val; }
3260 /*** META ((export #t)
3261 (type bool))
3262 */
3263 function sc_isString(s) {
3264 return (typeof s === "string") &&
3265 (s.charAt(0) !== sc_SYMBOL_PREFIX);
3266 }
3268 /*** META ((export #t)) */
3269 var sc_makeString = sc_makejsString;
3272 /*** META ((export #t)) */
3273 function sc_string() {
3274 for (var i = 0; i < arguments.length; i++)
3275 arguments[i] = arguments[i].val;
3276 return "".concat.apply("", arguments);
3277 }
3279 /*** META ((export #t)
3280 (peephole (postfix ".length")))
3281 */
3282 function sc_stringLength(s) { return s.length; }
3284 /*** META ((export #t)) */
3285 function sc_stringRef(s, k) {
3286 return new sc_Char(s.charAt(k));
3287 }
3289 /* there's no stringSet in the immutable version
3290 function sc_stringSet(s, k, c)
3291 */
3294 /*** META ((export string=?)
3295 (type bool)
3296 (peephole (hole 2 str1 " === " str2)))
3297 */
3298 function sc_isStringEqual(s1, s2) {
3299 return s1 === s2;
3300 }
3301 /*** META ((export string<?)
3302 (type bool)
3303 (peephole (hole 2 str1 " < " str2)))
3304 */
3305 function sc_isStringLess(s1, s2) {
3306 return s1 < s2;
3307 }
3308 /*** META ((export string>?)
3309 (type bool)
3310 (peephole (hole 2 str1 " > " str2)))
3311 */
3312 function sc_isStringGreater(s1, s2) {
3313 return s1 > s2;
3314 }
3315 /*** META ((export string<=?)
3316 (type bool)
3317 (peephole (hole 2 str1 " <= " str2)))
3318 */
3319 function sc_isStringLessEqual(s1, s2) {
3320 return s1 <= s2;
3321 }
3322 /*** META ((export string>=?)
3323 (type bool)
3324 (peephole (hole 2 str1 " >= " str2)))
3325 */
3326 function sc_isStringGreaterEqual(s1, s2) {
3327 return s1 >= s2;
3328 }
3329 /*** META ((export string-ci=?)
3330 (type bool)
3331 (peephole (hole 2 str1 ".toLowerCase() === " str2 ".toLowerCase()")))
3332 */
3333 function sc_isStringCIEqual(s1, s2) {
3334 return s1.toLowerCase() === s2.toLowerCase();
3335 }
3336 /*** META ((export string-ci<?)
3337 (type bool)
3338 (peephole (hole 2 str1 ".toLowerCase() < " str2 ".toLowerCase()")))
3339 */
3340 function sc_isStringCILess(s1, s2) {
3341 return s1.toLowerCase() < s2.toLowerCase();
3342 }
3343 /*** META ((export string-ci>?)
3344 (type bool)
3345 (peephole (hole 2 str1 ".toLowerCase() > " str2 ".toLowerCase()")))
3346 */
3347 function sc_isStringCIGreater(s1, s2) {
3348 return s1.toLowerCase() > s2.toLowerCase();
3349 }
3350 /*** META ((export string-ci<=?)
3351 (type bool)
3352 (peephole (hole 2 str1 ".toLowerCase() <= " str2 ".toLowerCase()")))
3353 */
3354 function sc_isStringCILessEqual(s1, s2) {
3355 return s1.toLowerCase() <= s2.toLowerCase();
3356 }
3357 /*** META ((export string-ci>=?)
3358 (type bool)
3359 (peephole (hole 2 str1 ".toLowerCase() >= " str2 ".toLowerCase()")))
3360 */
3361 function sc_isStringCIGreaterEqual(s1, s2) {
3362 return s1.toLowerCase() >= s2.toLowerCase();
3363 }
3365 /*** META ((export #t)
3366 (peephole (hole 3 s ".substring(" start ", " end ")")))
3367 */
3368 function sc_substring(s, start, end) {
3369 return s.substring(start, end);
3370 }
3372 /*** META ((export #t))
3373 */
3374 function sc_isSubstring_at(s1, s2, i) {
3375 return s2 == s1.substring(i, i+ s2.length);
3376 }
3378 /*** META ((export #t)
3379 (peephole (infix 0 #f "+" "''")))
3380 */
3381 function sc_stringAppend() {
3382 return "".concat.apply("", arguments);
3383 }
3385 /*** META ((export #t)) */
3386 var sc_string2list = sc_jsstring2list;
3388 /*** META ((export #t)) */
3389 var sc_list2string = sc_list2jsstring;
3391 /*** META ((export #t)
3392 (peephole (id)))
3393 */
3394 function sc_stringCopy(s) {
3395 return s;
3396 }
3398 /* there's no string-fill in the immutable version
3399 function sc_stringFill(s, c)
3400 */
3402 /*** META ((export #t)
3403 (peephole (postfix ".slice(1)")))
3404 */
3405 function sc_keyword2string(o) {
3406 return o.slice(1);
3407 }
3409 /*** META ((export #t)
3410 (peephole (prefix "'\\u1E9D' +")))
3411 */
3412 function sc_string2keyword(o) {
3413 return sc_KEYWORD_PREFIX + o;
3414 }
3416 String.prototype.sc_toDisplayString = function() {
3417 if (this.charAt(0) === sc_SYMBOL_PREFIX)
3418 // TODO: care for symbols with spaces (escape-chars symbols).
3419 return this.slice(1);
3420 else if (this.charAt(0) === sc_KEYWORD_PREFIX)
3421 return ":" + this.slice(1);
3422 else
3423 return this.toString();
3424 };
3426 String.prototype.sc_toWriteString = function() {
3427 if (this.charAt(0) === sc_SYMBOL_PREFIX)
3428 // TODO: care for symbols with spaces (escape-chars symbols).
3429 return this.slice(1);
3430 else if (this.charAt(0) === sc_KEYWORD_PREFIX)
3431 return ":" + this.slice(1);
3432 else
3433 return '"' + sc_escapeWriteString(this) + '"';
3434 };
3435 /* Exported Variables */
3436 var BgL_testzd2boyerzd2;
3437 var BgL_nboyerzd2benchmarkzd2;
3438 var BgL_setupzd2boyerzd2;
3439 /* End Exports */
3441 var translate_term_nboyer;
3442 var translate_args_nboyer;
3443 var untranslate_term_nboyer;
3444 var BgL_sc_symbolzd2ze3symbolzd2record_1ze3_nboyer;
3445 var BgL_sc_za2symbolzd2recordszd2alistza2_2z00_nboyer;
3446 var translate_alist_nboyer;
3447 var apply_subst_nboyer;
3448 var apply_subst_lst_nboyer;
3449 var tautologyp_nboyer;
3450 var if_constructor_nboyer;
3451 var rewrite_count_nboyer;
3452 var rewrite_nboyer;
3453 var rewrite_args_nboyer;
3454 var unify_subst_nboyer;
3455 var one_way_unify1_nboyer;
3456 var false_term_nboyer;
3457 var true_term_nboyer;
3458 var trans_of_implies1_nboyer;
3459 var is_term_equal_nboyer;
3460 var is_term_member_nboyer;
3461 var const_nboyer;
3462 var sc_const_3_nboyer;
3463 var sc_const_4_nboyer;
3464 {
3465 (sc_const_4_nboyer = (new sc_Pair("\u1E9Cimplies",(new sc_Pair((new sc_Pair("\u1E9Cand",(new sc_Pair((new sc_Pair("\u1E9Cimplies",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cand",(new sc_Pair((new sc_Pair("\u1E9Cimplies",(new sc_Pair("\u1E9Cy",(new sc_Pair("\u1E9Cz",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cand",(new sc_Pair((new sc_Pair("\u1E9Cimplies",(new sc_Pair("\u1E9Cz",(new sc_Pair("\u1E9Cu",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cimplies",(new sc_Pair("\u1E9Cu",(new sc_Pair("\u1E9Cw",null)))))),null)))))),null)))))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cimplies",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cw",null)))))),null)))))));
3466 (sc_const_3_nboyer = sc_list((new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Ccompile",(new sc_Pair("\u1E9Cform",null)))),(new sc_Pair((new sc_Pair("\u1E9Creverse",(new sc_Pair((new sc_Pair("\u1E9Ccodegen",(new sc_Pair((new sc_Pair("\u1E9Coptimize",(new sc_Pair("\u1E9Cform",null)))),(new sc_Pair((new sc_Pair("\u1E9Cnil",null)),null)))))),null)))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Ceqp",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cfix",(new sc_Pair("\u1E9Cx",null)))),(new sc_Pair((new sc_Pair("\u1E9Cfix",(new sc_Pair("\u1E9Cy",null)))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cgreaterp",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair((new sc_Pair("\u1E9Clessp",(new sc_Pair("\u1E9Cy",(new sc_Pair("\u1E9Cx",null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Clesseqp",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cnot",(new sc_Pair((new sc_Pair("\u1E9Clessp",(new sc_Pair("\u1E9Cy",(new sc_Pair("\u1E9Cx",null)))))),null)))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cgreatereqp",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cnot",(new sc_Pair((new sc_Pair("\u1E9Clessp",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),null)))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cboolean",(new sc_Pair("\u1E9Cx",null)))),(new sc_Pair((new sc_Pair("\u1E9Cor",(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair("\u1E9Cx",(new sc_Pair((new sc_Pair("\u1E9Ct",null)),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair("\u1E9Cx",(new sc_Pair((new sc_Pair("\u1E9Cf",null)),null)))))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Ciff",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cand",(new sc_Pair((new sc_Pair("\u1E9Cimplies",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cimplies",(new sc_Pair("\u1E9Cy",(new sc_Pair("\u1E9Cx",null)))))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Ceven1",(new sc_Pair("\u1E9Cx",null)))),(new sc_Pair((new sc_Pair("\u1E9Cif",(new sc_Pair((new sc_Pair("\u1E9Czerop",(new sc_Pair("\u1E9Cx",null)))),(new sc_Pair((new sc_Pair("\u1E9Ct",null)),(new sc_Pair((new sc_Pair("\u1E9Codd",(new sc_Pair((new sc_Pair("\u1E9Csub1",(new sc_Pair("\u1E9Cx",null)))),null)))),null)))))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Ccountps-",(new sc_Pair("\u1E9Cl",(new sc_Pair("\u1E9Cpred",null)))))),(new sc_Pair((new sc_Pair("\u1E9Ccountps-loop",(new sc_Pair("\u1E9Cl",(new sc_Pair("\u1E9Cpred",(new sc_Pair((new sc_Pair("\u1E9Czero",null)),null)))))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cfact-",(new sc_Pair("\u1E9Ci",null)))),(new sc_Pair((new sc_Pair("\u1E9Cfact-loop",(new sc_Pair("\u1E9Ci",(new sc_Pair((1),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Creverse-",(new sc_Pair("\u1E9Cx",null)))),(new sc_Pair((new sc_Pair("\u1E9Creverse-loop",(new sc_Pair("\u1E9Cx",(new sc_Pair((new sc_Pair("\u1E9Cnil",null)),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cdivides",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair((new sc_Pair("\u1E9Czerop",(new sc_Pair((new sc_Pair("\u1E9Cremainder",(new sc_Pair("\u1E9Cy",(new sc_Pair("\u1E9Cx",null)))))),null)))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cassume-true",(new sc_Pair("\u1E9Cvar",(new sc_Pair("\u1E9Calist",null)))))),(new sc_Pair((new sc_Pair("\u1E9Ccons",(new sc_Pair((new sc_Pair("\u1E9Ccons",(new sc_Pair("\u1E9Cvar",(new sc_Pair((new sc_Pair("\u1E9Ct",null)),null)))))),(new sc_Pair("\u1E9Calist",null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cassume-false",(new sc_Pair("\u1E9Cvar",(new sc_Pair("\u1E9Calist",null)))))),(new sc_Pair((new sc_Pair("\u1E9Ccons",(new sc_Pair((new sc_Pair("\u1E9Ccons",(new sc_Pair("\u1E9Cvar",(new sc_Pair((new sc_Pair("\u1E9Cf",null)),null)))))),(new sc_Pair("\u1E9Calist",null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Ctautology-checker",(new sc_Pair("\u1E9Cx",null)))),(new sc_Pair((new sc_Pair("\u1E9Ctautologyp",(new sc_Pair((new sc_Pair("\u1E9Cnormalize",(new sc_Pair("\u1E9Cx",null)))),(new sc_Pair((new sc_Pair("\u1E9Cnil",null)),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cfalsify",(new sc_Pair("\u1E9Cx",null)))),(new sc_Pair((new sc_Pair("\u1E9Cfalsify1",(new sc_Pair((new sc_Pair("\u1E9Cnormalize",(new sc_Pair("\u1E9Cx",null)))),(new sc_Pair((new sc_Pair("\u1E9Cnil",null)),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cprime",(new sc_Pair("\u1E9Cx",null)))),(new sc_Pair((new sc_Pair("\u1E9Cand",(new sc_Pair((new sc_Pair("\u1E9Cnot",(new sc_Pair((new sc_Pair("\u1E9Czerop",(new sc_Pair("\u1E9Cx",null)))),null)))),(new sc_Pair((new sc_Pair("\u1E9Cnot",(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair("\u1E9Cx",(new sc_Pair((new sc_Pair("\u1E9Cadd1",(new sc_Pair((new sc_Pair("\u1E9Czero",null)),null)))),null)))))),null)))),(new sc_Pair((new sc_Pair("\u1E9Cprime1",(new sc_Pair("\u1E9Cx",(new sc_Pair((new sc_Pair("\u1E9Csub1",(new sc_Pair("\u1E9Cx",null)))),null)))))),null)))))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cand",(new sc_Pair("\u1E9Cp",(new sc_Pair("\u1E9Cq",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cif",(new sc_Pair("\u1E9Cp",(new sc_Pair((new sc_Pair("\u1E9Cif",(new sc_Pair("\u1E9Cq",(new sc_Pair((new sc_Pair("\u1E9Ct",null)),(new sc_Pair((new sc_Pair("\u1E9Cf",null)),null)))))))),(new sc_Pair((new sc_Pair("\u1E9Cf",null)),null)))))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cor",(new sc_Pair("\u1E9Cp",(new sc_Pair("\u1E9Cq",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cif",(new sc_Pair("\u1E9Cp",(new sc_Pair((new sc_Pair("\u1E9Ct",null)),(new sc_Pair((new sc_Pair("\u1E9Cif",(new sc_Pair("\u1E9Cq",(new sc_Pair((new sc_Pair("\u1E9Ct",null)),(new sc_Pair((new sc_Pair("\u1E9Cf",null)),null)))))))),null)))))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cnot",(new sc_Pair("\u1E9Cp",null)))),(new sc_Pair((new sc_Pair("\u1E9Cif",(new sc_Pair("\u1E9Cp",(new sc_Pair((new sc_Pair("\u1E9Cf",null)),(new sc_Pair((new sc_Pair("\u1E9Ct",null)),null)))))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cimplies",(new sc_Pair("\u1E9Cp",(new sc_Pair("\u1E9Cq",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cif",(new sc_Pair("\u1E9Cp",(new sc_Pair((new sc_Pair("\u1E9Cif",(new sc_Pair("\u1E9Cq",(new sc_Pair((new sc_Pair("\u1E9Ct",null)),(new sc_Pair((new sc_Pair("\u1E9Cf",null)),null)))))))),(new sc_Pair((new sc_Pair("\u1E9Ct",null)),null)))))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cfix",(new sc_Pair("\u1E9Cx",null)))),(new sc_Pair((new sc_Pair("\u1E9Cif",(new sc_Pair((new sc_Pair("\u1E9Cnumberp",(new sc_Pair("\u1E9Cx",null)))),(new sc_Pair("\u1E9Cx",(new sc_Pair((new sc_Pair("\u1E9Czero",null)),null)))))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cif",(new sc_Pair((new sc_Pair("\u1E9Cif",(new sc_Pair("\u1E9Ca",(new sc_Pair("\u1E9Cb",(new sc_Pair("\u1E9Cc",null)))))))),(new sc_Pair("\u1E9Cd",(new sc_Pair("\u1E9Ce",null)))))))),(new sc_Pair((new sc_Pair("\u1E9Cif",(new sc_Pair("\u1E9Ca",(new sc_Pair((new sc_Pair("\u1E9Cif",(new sc_Pair("\u1E9Cb",(new sc_Pair("\u1E9Cd",(new sc_Pair("\u1E9Ce",null)))))))),(new sc_Pair((new sc_Pair("\u1E9Cif",(new sc_Pair("\u1E9Cc",(new sc_Pair("\u1E9Cd",(new sc_Pair("\u1E9Ce",null)))))))),null)))))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Czerop",(new sc_Pair("\u1E9Cx",null)))),(new sc_Pair((new sc_Pair("\u1E9Cor",(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair("\u1E9Cx",(new sc_Pair((new sc_Pair("\u1E9Czero",null)),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cnot",(new sc_Pair((new sc_Pair("\u1E9Cnumberp",(new sc_Pair("\u1E9Cx",null)))),null)))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair("\u1E9Cz",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Cx",(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Cy",(new sc_Pair("\u1E9Cz",null)))))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Ca",(new sc_Pair("\u1E9Cb",null)))))),(new sc_Pair((new sc_Pair("\u1E9Czero",null)),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cand",(new sc_Pair((new sc_Pair("\u1E9Czerop",(new sc_Pair("\u1E9Ca",null)))),(new sc_Pair((new sc_Pair("\u1E9Czerop",(new sc_Pair("\u1E9Cb",null)))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cdifference",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cx",null)))))),(new sc_Pair((new sc_Pair("\u1E9Czero",null)),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Ca",(new sc_Pair("\u1E9Cb",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Ca",(new sc_Pair("\u1E9Cc",null)))))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cfix",(new sc_Pair("\u1E9Cb",null)))),(new sc_Pair((new sc_Pair("\u1E9Cfix",(new sc_Pair("\u1E9Cc",null)))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Czero",null)),(new sc_Pair((new sc_Pair("\u1E9Cdifference",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cnot",(new sc_Pair((new sc_Pair("\u1E9Clessp",(new sc_Pair("\u1E9Cy",(new sc_Pair("\u1E9Cx",null)))))),null)))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair("\u1E9Cx",(new sc_Pair((new sc_Pair("\u1E9Cdifference",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cand",(new sc_Pair((new sc_Pair("\u1E9Cnumberp",(new sc_Pair("\u1E9Cx",null)))),(new sc_Pair((new sc_Pair("\u1E9Cor",(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair("\u1E9Cx",(new sc_Pair((new sc_Pair("\u1E9Czero",null)),null)))))),(new sc_Pair((new sc_Pair("\u1E9Czerop",(new sc_Pair("\u1E9Cy",null)))),null)))))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cmeaning",(new sc_Pair((new sc_Pair("\u1E9Cplus-tree",(new sc_Pair((new sc_Pair("\u1E9Cappend",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),null)))),(new sc_Pair("\u1E9Ca",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair((new sc_Pair("\u1E9Cmeaning",(new sc_Pair((new sc_Pair("\u1E9Cplus-tree",(new sc_Pair("\u1E9Cx",null)))),(new sc_Pair("\u1E9Ca",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cmeaning",(new sc_Pair((new sc_Pair("\u1E9Cplus-tree",(new sc_Pair("\u1E9Cy",null)))),(new sc_Pair("\u1E9Ca",null)))))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cmeaning",(new sc_Pair((new sc_Pair("\u1E9Cplus-tree",(new sc_Pair((new sc_Pair("\u1E9Cplus-fringe",(new sc_Pair("\u1E9Cx",null)))),null)))),(new sc_Pair("\u1E9Ca",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cfix",(new sc_Pair((new sc_Pair("\u1E9Cmeaning",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Ca",null)))))),null)))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cappend",(new sc_Pair((new sc_Pair("\u1E9Cappend",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair("\u1E9Cz",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cappend",(new sc_Pair("\u1E9Cx",(new sc_Pair((new sc_Pair("\u1E9Cappend",(new sc_Pair("\u1E9Cy",(new sc_Pair("\u1E9Cz",null)))))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Creverse",(new sc_Pair((new sc_Pair("\u1E9Cappend",(new sc_Pair("\u1E9Ca",(new sc_Pair("\u1E9Cb",null)))))),null)))),(new sc_Pair((new sc_Pair("\u1E9Cappend",(new sc_Pair((new sc_Pair("\u1E9Creverse",(new sc_Pair("\u1E9Cb",null)))),(new sc_Pair((new sc_Pair("\u1E9Creverse",(new sc_Pair("\u1E9Ca",null)))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair("\u1E9Cx",(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Cy",(new sc_Pair("\u1E9Cz",null)))))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cz",null)))))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair("\u1E9Cz",null)))))),(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair("\u1E9Cx",(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair("\u1E9Cy",(new sc_Pair("\u1E9Cz",null)))))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair((new sc_Pair("\u1E9Czero",null)),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cor",(new sc_Pair((new sc_Pair("\u1E9Czerop",(new sc_Pair("\u1E9Cx",null)))),(new sc_Pair((new sc_Pair("\u1E9Czerop",(new sc_Pair("\u1E9Cy",null)))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cexec",(new sc_Pair((new sc_Pair("\u1E9Cappend",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair("\u1E9Cpds",(new sc_Pair("\u1E9Cenvrn",null)))))))),(new sc_Pair((new sc_Pair("\u1E9Cexec",(new sc_Pair("\u1E9Cy",(new sc_Pair((new sc_Pair("\u1E9Cexec",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cpds",(new sc_Pair("\u1E9Cenvrn",null)))))))),(new sc_Pair("\u1E9Cenvrn",null)))))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cmc-flatten",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cappend",(new sc_Pair((new sc_Pair("\u1E9Cflatten",(new sc_Pair("\u1E9Cx",null)))),(new sc_Pair("\u1E9Cy",null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cmember",(new sc_Pair("\u1E9Cx",(new sc_Pair((new sc_Pair("\u1E9Cappend",(new sc_Pair("\u1E9Ca",(new sc_Pair("\u1E9Cb",null)))))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cor",(new sc_Pair((new sc_Pair("\u1E9Cmember",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Ca",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cmember",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cb",null)))))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cmember",(new sc_Pair("\u1E9Cx",(new sc_Pair((new sc_Pair("\u1E9Creverse",(new sc_Pair("\u1E9Cy",null)))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cmember",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Clength",(new sc_Pair((new sc_Pair("\u1E9Creverse",(new sc_Pair("\u1E9Cx",null)))),null)))),(new sc_Pair((new sc_Pair("\u1E9Clength",(new sc_Pair("\u1E9Cx",null)))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cmember",(new sc_Pair("\u1E9Ca",(new sc_Pair((new sc_Pair("\u1E9Cintersect",(new sc_Pair("\u1E9Cb",(new sc_Pair("\u1E9Cc",null)))))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cand",(new sc_Pair((new sc_Pair("\u1E9Cmember",(new sc_Pair("\u1E9Ca",(new sc_Pair("\u1E9Cb",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cmember",(new sc_Pair("\u1E9Ca",(new sc_Pair("\u1E9Cc",null)))))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cnth",(new sc_Pair((new sc_Pair("\u1E9Czero",null)),(new sc_Pair("\u1E9Ci",null)))))),(new sc_Pair((new sc_Pair("\u1E9Czero",null)),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cexp",(new sc_Pair("\u1E9Ci",(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Cj",(new sc_Pair("\u1E9Ck",null)))))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair((new sc_Pair("\u1E9Cexp",(new sc_Pair("\u1E9Ci",(new sc_Pair("\u1E9Cj",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cexp",(new sc_Pair("\u1E9Ci",(new sc_Pair("\u1E9Ck",null)))))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cexp",(new sc_Pair("\u1E9Ci",(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair("\u1E9Cj",(new sc_Pair("\u1E9Ck",null)))))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cexp",(new sc_Pair((new sc_Pair("\u1E9Cexp",(new sc_Pair("\u1E9Ci",(new sc_Pair("\u1E9Cj",null)))))),(new sc_Pair("\u1E9Ck",null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Creverse-loop",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cappend",(new sc_Pair((new sc_Pair("\u1E9Creverse",(new sc_Pair("\u1E9Cx",null)))),(new sc_Pair("\u1E9Cy",null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Creverse-loop",(new sc_Pair("\u1E9Cx",(new sc_Pair((new sc_Pair("\u1E9Cnil",null)),null)))))),(new sc_Pair((new sc_Pair("\u1E9Creverse",(new sc_Pair("\u1E9Cx",null)))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Ccount-list",(new sc_Pair("\u1E9Cz",(new sc_Pair((new sc_Pair("\u1E9Csort-lp",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair((new sc_Pair("\u1E9Ccount-list",(new sc_Pair("\u1E9Cz",(new sc_Pair("\u1E9Cx",null)))))),(new sc_Pair((new sc_Pair("\u1E9Ccount-list",(new sc_Pair("\u1E9Cz",(new sc_Pair("\u1E9Cy",null)))))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cappend",(new sc_Pair("\u1E9Ca",(new sc_Pair("\u1E9Cb",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cappend",(new sc_Pair("\u1E9Ca",(new sc_Pair("\u1E9Cc",null)))))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair("\u1E9Cb",(new sc_Pair("\u1E9Cc",null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair((new sc_Pair("\u1E9Cremainder",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair("\u1E9Cy",(new sc_Pair((new sc_Pair("\u1E9Cquotient",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),null)))))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cfix",(new sc_Pair("\u1E9Cx",null)))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cpower-eval",(new sc_Pair((new sc_Pair("\u1E9Cbig-plus1",(new sc_Pair("\u1E9Cl",(new sc_Pair("\u1E9Ci",(new sc_Pair("\u1E9Cbase",null)))))))),(new sc_Pair("\u1E9Cbase",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair((new sc_Pair("\u1E9Cpower-eval",(new sc_Pair("\u1E9Cl",(new sc_Pair("\u1E9Cbase",null)))))),(new sc_Pair("\u1E9Ci",null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cpower-eval",(new sc_Pair((new sc_Pair("\u1E9Cbig-plus",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",(new sc_Pair("\u1E9Ci",(new sc_Pair("\u1E9Cbase",null)))))))))),(new sc_Pair("\u1E9Cbase",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Ci",(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair((new sc_Pair("\u1E9Cpower-eval",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cbase",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cpower-eval",(new sc_Pair("\u1E9Cy",(new sc_Pair("\u1E9Cbase",null)))))),null)))))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cremainder",(new sc_Pair("\u1E9Cy",(new sc_Pair((1),null)))))),(new sc_Pair((new sc_Pair("\u1E9Czero",null)),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Clessp",(new sc_Pair((new sc_Pair("\u1E9Cremainder",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cnot",(new sc_Pair((new sc_Pair("\u1E9Czerop",(new sc_Pair("\u1E9Cy",null)))),null)))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cremainder",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cx",null)))))),(new sc_Pair((new sc_Pair("\u1E9Czero",null)),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Clessp",(new sc_Pair((new sc_Pair("\u1E9Cquotient",(new sc_Pair("\u1E9Ci",(new sc_Pair("\u1E9Cj",null)))))),(new sc_Pair("\u1E9Ci",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cand",(new sc_Pair((new sc_Pair("\u1E9Cnot",(new sc_Pair((new sc_Pair("\u1E9Czerop",(new sc_Pair("\u1E9Ci",null)))),null)))),(new sc_Pair((new sc_Pair("\u1E9Cor",(new sc_Pair((new sc_Pair("\u1E9Czerop",(new sc_Pair("\u1E9Cj",null)))),(new sc_Pair((new sc_Pair("\u1E9Cnot",(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair("\u1E9Cj",(new sc_Pair((1),null)))))),null)))),null)))))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Clessp",(new sc_Pair((new sc_Pair("\u1E9Cremainder",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair("\u1E9Cx",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cand",(new sc_Pair((new sc_Pair("\u1E9Cnot",(new sc_Pair((new sc_Pair("\u1E9Czerop",(new sc_Pair("\u1E9Cy",null)))),null)))),(new sc_Pair((new sc_Pair("\u1E9Cnot",(new sc_Pair((new sc_Pair("\u1E9Czerop",(new sc_Pair("\u1E9Cx",null)))),null)))),(new sc_Pair((new sc_Pair("\u1E9Cnot",(new sc_Pair((new sc_Pair("\u1E9Clessp",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),null)))),null)))))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cpower-eval",(new sc_Pair((new sc_Pair("\u1E9Cpower-rep",(new sc_Pair("\u1E9Ci",(new sc_Pair("\u1E9Cbase",null)))))),(new sc_Pair("\u1E9Cbase",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cfix",(new sc_Pair("\u1E9Ci",null)))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cpower-eval",(new sc_Pair((new sc_Pair("\u1E9Cbig-plus",(new sc_Pair((new sc_Pair("\u1E9Cpower-rep",(new sc_Pair("\u1E9Ci",(new sc_Pair("\u1E9Cbase",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cpower-rep",(new sc_Pair("\u1E9Cj",(new sc_Pair("\u1E9Cbase",null)))))),(new sc_Pair((new sc_Pair("\u1E9Czero",null)),(new sc_Pair("\u1E9Cbase",null)))))))))),(new sc_Pair("\u1E9Cbase",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Ci",(new sc_Pair("\u1E9Cj",null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cgcd",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cgcd",(new sc_Pair("\u1E9Cy",(new sc_Pair("\u1E9Cx",null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cnth",(new sc_Pair((new sc_Pair("\u1E9Cappend",(new sc_Pair("\u1E9Ca",(new sc_Pair("\u1E9Cb",null)))))),(new sc_Pair("\u1E9Ci",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cappend",(new sc_Pair((new sc_Pair("\u1E9Cnth",(new sc_Pair("\u1E9Ca",(new sc_Pair("\u1E9Ci",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cnth",(new sc_Pair("\u1E9Cb",(new sc_Pair((new sc_Pair("\u1E9Cdifference",(new sc_Pair("\u1E9Ci",(new sc_Pair((new sc_Pair("\u1E9Clength",(new sc_Pair("\u1E9Ca",null)))),null)))))),null)))))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cdifference",(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair("\u1E9Cx",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cfix",(new sc_Pair("\u1E9Cy",null)))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cdifference",(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Cy",(new sc_Pair("\u1E9Cx",null)))))),(new sc_Pair("\u1E9Cx",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cfix",(new sc_Pair("\u1E9Cy",null)))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cdifference",(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cz",null)))))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cdifference",(new sc_Pair("\u1E9Cy",(new sc_Pair("\u1E9Cz",null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair("\u1E9Cx",(new sc_Pair((new sc_Pair("\u1E9Cdifference",(new sc_Pair("\u1E9Cc",(new sc_Pair("\u1E9Cw",null)))))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cdifference",(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair("\u1E9Cc",(new sc_Pair("\u1E9Cx",null)))))),(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair("\u1E9Cw",(new sc_Pair("\u1E9Cx",null)))))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cremainder",(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cz",null)))))),(new sc_Pair("\u1E9Cz",null)))))),(new sc_Pair((new sc_Pair("\u1E9Czero",null)),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cdifference",(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Cb",(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Ca",(new sc_Pair("\u1E9Cc",null)))))),null)))))),(new sc_Pair("\u1E9Ca",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Cb",(new sc_Pair("\u1E9Cc",null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cdifference",(new sc_Pair((new sc_Pair("\u1E9Cadd1",(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Cy",(new sc_Pair("\u1E9Cz",null)))))),null)))),(new sc_Pair("\u1E9Cz",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cadd1",(new sc_Pair("\u1E9Cy",null)))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Clessp",(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cz",null)))))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Clessp",(new sc_Pair("\u1E9Cy",(new sc_Pair("\u1E9Cz",null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Clessp",(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cz",null)))))),(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair("\u1E9Cy",(new sc_Pair("\u1E9Cz",null)))))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cand",(new sc_Pair((new sc_Pair("\u1E9Cnot",(new sc_Pair((new sc_Pair("\u1E9Czerop",(new sc_Pair("\u1E9Cz",null)))),null)))),(new sc_Pair((new sc_Pair("\u1E9Clessp",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Clessp",(new sc_Pair("\u1E9Cy",(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cnot",(new sc_Pair((new sc_Pair("\u1E9Czerop",(new sc_Pair("\u1E9Cx",null)))),null)))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cgcd",(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cz",null)))))),(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair("\u1E9Cy",(new sc_Pair("\u1E9Cz",null)))))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair("\u1E9Cz",(new sc_Pair((new sc_Pair("\u1E9Cgcd",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cvalue",(new sc_Pair((new sc_Pair("\u1E9Cnormalize",(new sc_Pair("\u1E9Cx",null)))),(new sc_Pair("\u1E9Ca",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cvalue",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Ca",null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cflatten",(new sc_Pair("\u1E9Cx",null)))),(new sc_Pair((new sc_Pair("\u1E9Ccons",(new sc_Pair("\u1E9Cy",(new sc_Pair((new sc_Pair("\u1E9Cnil",null)),null)))))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cand",(new sc_Pair((new sc_Pair("\u1E9Cnlistp",(new sc_Pair("\u1E9Cx",null)))),(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Clistp",(new sc_Pair((new sc_Pair("\u1E9Cgopher",(new sc_Pair("\u1E9Cx",null)))),null)))),(new sc_Pair((new sc_Pair("\u1E9Clistp",(new sc_Pair("\u1E9Cx",null)))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Csamefringe",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cflatten",(new sc_Pair("\u1E9Cx",null)))),(new sc_Pair((new sc_Pair("\u1E9Cflatten",(new sc_Pair("\u1E9Cy",null)))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cgreatest-factor",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair((new sc_Pair("\u1E9Czero",null)),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cand",(new sc_Pair((new sc_Pair("\u1E9Cor",(new sc_Pair((new sc_Pair("\u1E9Czerop",(new sc_Pair("\u1E9Cy",null)))),(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair("\u1E9Cy",(new sc_Pair((1),null)))))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair("\u1E9Cx",(new sc_Pair((new sc_Pair("\u1E9Czero",null)),null)))))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cgreatest-factor",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair((1),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair("\u1E9Cx",(new sc_Pair((1),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cnumberp",(new sc_Pair((new sc_Pair("\u1E9Cgreatest-factor",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),null)))),(new sc_Pair((new sc_Pair("\u1E9Cnot",(new sc_Pair((new sc_Pair("\u1E9Cand",(new sc_Pair((new sc_Pair("\u1E9Cor",(new sc_Pair((new sc_Pair("\u1E9Czerop",(new sc_Pair("\u1E9Cy",null)))),(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair("\u1E9Cy",(new sc_Pair((1),null)))))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cnot",(new sc_Pair((new sc_Pair("\u1E9Cnumberp",(new sc_Pair("\u1E9Cx",null)))),null)))),null)))))),null)))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Ctimes-list",(new sc_Pair((new sc_Pair("\u1E9Cappend",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),null)))),(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair((new sc_Pair("\u1E9Ctimes-list",(new sc_Pair("\u1E9Cx",null)))),(new sc_Pair((new sc_Pair("\u1E9Ctimes-list",(new sc_Pair("\u1E9Cy",null)))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cprime-list",(new sc_Pair((new sc_Pair("\u1E9Cappend",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),null)))),(new sc_Pair((new sc_Pair("\u1E9Cand",(new sc_Pair((new sc_Pair("\u1E9Cprime-list",(new sc_Pair("\u1E9Cx",null)))),(new sc_Pair((new sc_Pair("\u1E9Cprime-list",(new sc_Pair("\u1E9Cy",null)))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair("\u1E9Cz",(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair("\u1E9Cw",(new sc_Pair("\u1E9Cz",null)))))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cand",(new sc_Pair((new sc_Pair("\u1E9Cnumberp",(new sc_Pair("\u1E9Cz",null)))),(new sc_Pair((new sc_Pair("\u1E9Cor",(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair("\u1E9Cz",(new sc_Pair((new sc_Pair("\u1E9Czero",null)),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair("\u1E9Cw",(new sc_Pair((1),null)))))),null)))))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cgreatereqp",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cnot",(new sc_Pair((new sc_Pair("\u1E9Clessp",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),null)))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair("\u1E9Cx",(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cor",(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair("\u1E9Cx",(new sc_Pair((new sc_Pair("\u1E9Czero",null)),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cand",(new sc_Pair((new sc_Pair("\u1E9Cnumberp",(new sc_Pair("\u1E9Cx",null)))),(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair("\u1E9Cy",(new sc_Pair((1),null)))))),null)))))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cremainder",(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair("\u1E9Cy",(new sc_Pair("\u1E9Cx",null)))))),(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair((new sc_Pair("\u1E9Czero",null)),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair("\u1E9Ca",(new sc_Pair("\u1E9Cb",null)))))),(new sc_Pair((1),null)))))),(new sc_Pair(sc_list("\u1E9Cand", (new sc_Pair("\u1E9Cnot",(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair("\u1E9Ca",(new sc_Pair((new sc_Pair("\u1E9Czero",null)),null)))))),null)))), (new sc_Pair("\u1E9Cnot",(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair("\u1E9Cb",(new sc_Pair((new sc_Pair("\u1E9Czero",null)),null)))))),null)))), (new sc_Pair("\u1E9Cnumberp",(new sc_Pair("\u1E9Ca",null)))), (new sc_Pair("\u1E9Cnumberp",(new sc_Pair("\u1E9Cb",null)))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Csub1",(new sc_Pair("\u1E9Ca",null)))),(new sc_Pair((new sc_Pair("\u1E9Czero",null)),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Csub1",(new sc_Pair("\u1E9Cb",null)))),(new sc_Pair((new sc_Pair("\u1E9Czero",null)),null))))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Clessp",(new sc_Pair((new sc_Pair("\u1E9Clength",(new sc_Pair((new sc_Pair("\u1E9Cdelete",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cl",null)))))),null)))),(new sc_Pair((new sc_Pair("\u1E9Clength",(new sc_Pair("\u1E9Cl",null)))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cmember",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cl",null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Csort2",(new sc_Pair((new sc_Pair("\u1E9Cdelete",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cl",null)))))),null)))),(new sc_Pair((new sc_Pair("\u1E9Cdelete",(new sc_Pair("\u1E9Cx",(new sc_Pair((new sc_Pair("\u1E9Csort2",(new sc_Pair("\u1E9Cl",null)))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cdsort",(new sc_Pair("\u1E9Cx",null)))),(new sc_Pair((new sc_Pair("\u1E9Csort2",(new sc_Pair("\u1E9Cx",null)))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Clength",(new sc_Pair((new sc_Pair("\u1E9Ccons",(new sc_Pair("\u1E9Cx1",(new sc_Pair((new sc_Pair("\u1E9Ccons",(new sc_Pair("\u1E9Cx2",(new sc_Pair((new sc_Pair("\u1E9Ccons",(new sc_Pair("\u1E9Cx3",(new sc_Pair((new sc_Pair("\u1E9Ccons",(new sc_Pair("\u1E9Cx4",(new sc_Pair((new sc_Pair("\u1E9Ccons",(new sc_Pair("\u1E9Cx5",(new sc_Pair((new sc_Pair("\u1E9Ccons",(new sc_Pair("\u1E9Cx6",(new sc_Pair("\u1E9Cx7",null)))))),null)))))),null)))))),null)))))),null)))))),null)))))),null)))),(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair((6),(new sc_Pair((new sc_Pair("\u1E9Clength",(new sc_Pair("\u1E9Cx7",null)))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cdifference",(new sc_Pair((new sc_Pair("\u1E9Cadd1",(new sc_Pair((new sc_Pair("\u1E9Cadd1",(new sc_Pair("\u1E9Cx",null)))),null)))),(new sc_Pair((2),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cfix",(new sc_Pair("\u1E9Cx",null)))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cquotient",(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Cx",(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),null)))))),(new sc_Pair((2),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Cx",(new sc_Pair((new sc_Pair("\u1E9Cquotient",(new sc_Pair("\u1E9Cy",(new sc_Pair((2),null)))))),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Csigma",(new sc_Pair((new sc_Pair("\u1E9Czero",null)),(new sc_Pair("\u1E9Ci",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cquotient",(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair("\u1E9Ci",(new sc_Pair((new sc_Pair("\u1E9Cadd1",(new sc_Pair("\u1E9Ci",null)))),null)))))),(new sc_Pair((2),null)))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Cx",(new sc_Pair((new sc_Pair("\u1E9Cadd1",(new sc_Pair("\u1E9Cy",null)))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cif",(new sc_Pair((new sc_Pair("\u1E9Cnumberp",(new sc_Pair("\u1E9Cy",null)))),(new sc_Pair((new sc_Pair("\u1E9Cadd1",(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),null)))),(new sc_Pair((new sc_Pair("\u1E9Cadd1",(new sc_Pair("\u1E9Cx",null)))),null)))))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cdifference",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cdifference",(new sc_Pair("\u1E9Cz",(new sc_Pair("\u1E9Cy",null)))))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cif",(new sc_Pair((new sc_Pair("\u1E9Clessp",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cnot",(new sc_Pair((new sc_Pair("\u1E9Clessp",(new sc_Pair("\u1E9Cy",(new sc_Pair("\u1E9Cz",null)))))),null)))),(new sc_Pair((new sc_Pair("\u1E9Cif",(new sc_Pair((new sc_Pair("\u1E9Clessp",(new sc_Pair("\u1E9Cz",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cnot",(new sc_Pair((new sc_Pair("\u1E9Clessp",(new sc_Pair("\u1E9Cy",(new sc_Pair("\u1E9Cx",null)))))),null)))),(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cfix",(new sc_Pair("\u1E9Cx",null)))),(new sc_Pair((new sc_Pair("\u1E9Cfix",(new sc_Pair("\u1E9Cz",null)))),null)))))),null)))))))),null)))))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cmeaning",(new sc_Pair((new sc_Pair("\u1E9Cplus-tree",(new sc_Pair((new sc_Pair("\u1E9Cdelete",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),null)))),(new sc_Pair("\u1E9Ca",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cif",(new sc_Pair((new sc_Pair("\u1E9Cmember",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cdifference",(new sc_Pair((new sc_Pair("\u1E9Cmeaning",(new sc_Pair((new sc_Pair("\u1E9Cplus-tree",(new sc_Pair("\u1E9Cy",null)))),(new sc_Pair("\u1E9Ca",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cmeaning",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Ca",null)))))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cmeaning",(new sc_Pair((new sc_Pair("\u1E9Cplus-tree",(new sc_Pair("\u1E9Cy",null)))),(new sc_Pair("\u1E9Ca",null)))))),null)))))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair("\u1E9Cx",(new sc_Pair((new sc_Pair("\u1E9Cadd1",(new sc_Pair("\u1E9Cy",null)))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cif",(new sc_Pair((new sc_Pair("\u1E9Cnumberp",(new sc_Pair("\u1E9Cy",null)))),(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Cx",(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cfix",(new sc_Pair("\u1E9Cx",null)))),null)))))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cnth",(new sc_Pair((new sc_Pair("\u1E9Cnil",null)),(new sc_Pair("\u1E9Ci",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cif",(new sc_Pair((new sc_Pair("\u1E9Czerop",(new sc_Pair("\u1E9Ci",null)))),(new sc_Pair((new sc_Pair("\u1E9Cnil",null)),(new sc_Pair((new sc_Pair("\u1E9Czero",null)),null)))))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Clast",(new sc_Pair((new sc_Pair("\u1E9Cappend",(new sc_Pair("\u1E9Ca",(new sc_Pair("\u1E9Cb",null)))))),null)))),(new sc_Pair((new sc_Pair("\u1E9Cif",(new sc_Pair((new sc_Pair("\u1E9Clistp",(new sc_Pair("\u1E9Cb",null)))),(new sc_Pair((new sc_Pair("\u1E9Clast",(new sc_Pair("\u1E9Cb",null)))),(new sc_Pair((new sc_Pair("\u1E9Cif",(new sc_Pair((new sc_Pair("\u1E9Clistp",(new sc_Pair("\u1E9Ca",null)))),(new sc_Pair((new sc_Pair("\u1E9Ccons",(new sc_Pair((new sc_Pair("\u1E9Ccar",(new sc_Pair((new sc_Pair("\u1E9Clast",(new sc_Pair("\u1E9Ca",null)))),null)))),(new sc_Pair("\u1E9Cb",null)))))),(new sc_Pair("\u1E9Cb",null)))))))),null)))))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Clessp",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair("\u1E9Cz",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cif",(new sc_Pair((new sc_Pair("\u1E9Clessp",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Ct",null)),(new sc_Pair("\u1E9Cz",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cf",null)),(new sc_Pair("\u1E9Cz",null)))))),null)))))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cassignment",(new sc_Pair("\u1E9Cx",(new sc_Pair((new sc_Pair("\u1E9Cappend",(new sc_Pair("\u1E9Ca",(new sc_Pair("\u1E9Cb",null)))))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cif",(new sc_Pair((new sc_Pair("\u1E9Cassignedp",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Ca",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cassignment",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Ca",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cassignment",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cb",null)))))),null)))))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Ccar",(new sc_Pair((new sc_Pair("\u1E9Cgopher",(new sc_Pair("\u1E9Cx",null)))),null)))),(new sc_Pair((new sc_Pair("\u1E9Cif",(new sc_Pair((new sc_Pair("\u1E9Clistp",(new sc_Pair("\u1E9Cx",null)))),(new sc_Pair((new sc_Pair("\u1E9Ccar",(new sc_Pair((new sc_Pair("\u1E9Cflatten",(new sc_Pair("\u1E9Cx",null)))),null)))),(new sc_Pair((new sc_Pair("\u1E9Czero",null)),null)))))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cflatten",(new sc_Pair((new sc_Pair("\u1E9Ccdr",(new sc_Pair((new sc_Pair("\u1E9Cgopher",(new sc_Pair("\u1E9Cx",null)))),null)))),null)))),(new sc_Pair((new sc_Pair("\u1E9Cif",(new sc_Pair((new sc_Pair("\u1E9Clistp",(new sc_Pair("\u1E9Cx",null)))),(new sc_Pair((new sc_Pair("\u1E9Ccdr",(new sc_Pair((new sc_Pair("\u1E9Cflatten",(new sc_Pair("\u1E9Cx",null)))),null)))),(new sc_Pair((new sc_Pair("\u1E9Ccons",(new sc_Pair((new sc_Pair("\u1E9Czero",null)),(new sc_Pair((new sc_Pair("\u1E9Cnil",null)),null)))))),null)))))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cquotient",(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair("\u1E9Cy",(new sc_Pair("\u1E9Cx",null)))))),(new sc_Pair("\u1E9Cy",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cif",(new sc_Pair((new sc_Pair("\u1E9Czerop",(new sc_Pair("\u1E9Cy",null)))),(new sc_Pair((new sc_Pair("\u1E9Czero",null)),(new sc_Pair((new sc_Pair("\u1E9Cfix",(new sc_Pair("\u1E9Cx",null)))),null)))))))),null)))))), (new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cget",(new sc_Pair("\u1E9Cj",(new sc_Pair((new sc_Pair("\u1E9Cset",(new sc_Pair("\u1E9Ci",(new sc_Pair("\u1E9Cval",(new sc_Pair("\u1E9Cmem",null)))))))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cif",(new sc_Pair((new sc_Pair("\u1E9Ceqp",(new sc_Pair("\u1E9Cj",(new sc_Pair("\u1E9Ci",null)))))),(new sc_Pair("\u1E9Cval",(new sc_Pair((new sc_Pair("\u1E9Cget",(new sc_Pair("\u1E9Cj",(new sc_Pair("\u1E9Cmem",null)))))),null)))))))),null))))))));
3467 (const_nboyer = (new sc_Pair((new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cf",(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Ca",(new sc_Pair("\u1E9Cb",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Cc",(new sc_Pair((new sc_Pair("\u1E9Czero",null)),null)))))),null)))))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cy",(new sc_Pair("\u1E9Cf",(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair((new sc_Pair("\u1E9Ctimes",(new sc_Pair("\u1E9Ca",(new sc_Pair("\u1E9Cb",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Cc",(new sc_Pair("\u1E9Cd",null)))))),null)))))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cz",(new sc_Pair("\u1E9Cf",(new sc_Pair((new sc_Pair("\u1E9Creverse",(new sc_Pair((new sc_Pair("\u1E9Cappend",(new sc_Pair((new sc_Pair("\u1E9Cappend",(new sc_Pair("\u1E9Ca",(new sc_Pair("\u1E9Cb",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cnil",null)),null)))))),null)))),null)))))),(new sc_Pair((new sc_Pair("\u1E9Cu",(new sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Cplus",(new sc_Pair("\u1E9Ca",(new sc_Pair("\u1E9Cb",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cdifference",(new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cy",null)))))),null)))))))),(new sc_Pair((new sc_Pair("\u1E9Cw",(new sc_Pair("\u1E9Clessp",(new sc_Pair((new sc_Pair("\u1E9Cremainder",(new sc_Pair("\u1E9Ca",(new sc_Pair("\u1E9Cb",null)))))),(new sc_Pair((new sc_Pair("\u1E9Cmember",(new sc_Pair("\u1E9Ca",(new sc_Pair((new sc_Pair("\u1E9Clength",(new sc_Pair("\u1E9Cb",null)))),null)))))),null)))))))),null)))))))))));
3468 BgL_nboyerzd2benchmarkzd2 = function() {
3469 var args = null;
3470 for (var sc_tmp = arguments.length - 1; sc_tmp >= 0; sc_tmp--) {
3471 args = sc_cons(arguments[sc_tmp], args);
3472 }
3473 var n;
3474 return ((n = ((args === null)?(0):(args.car))), (BgL_setupzd2boyerzd2()), (BgL_runzd2benchmarkzd2(("nboyer"+(sc_number2string(n))), (1), function() {
3475 return (BgL_testzd2boyerzd2(n));
3476 }, function(rewrites) {
3477 if ((sc_isNumber(rewrites)))
3478 switch (n) {
3479 case (0):
3480 assertEq(rewrites, 95024);
3481 return true;
3482 break;
3483 case (1):
3484 assertEq(rewrites, 591777);
3485 return true;
3486 break;
3487 case (2):
3488 assertEq(rewrites, 1813975);
3489 return true;
3490 break;
3491 case (3):
3492 assertEq(rewrites, 5375678);
3493 return true;
3494 break;
3495 case (4):
3496 assertEq(rewrites, 16445406);
3497 return true;
3498 break;
3499 case (5):
3500 assertEq(rewrites, 51507739);
3501 return true;
3502 break;
3503 default:
3504 return true;
3505 break;
3506 }
3507 else
3508 return false;
3509 })));
3510 };
3511 BgL_setupzd2boyerzd2 = function() {
3512 return true;
3513 };
3514 BgL_testzd2boyerzd2 = function() {
3515 return true;
3516 };
3517 translate_term_nboyer = function(term) {
3518 var lst;
3519 return (!(term instanceof sc_Pair)?term:(new sc_Pair((BgL_sc_symbolzd2ze3symbolzd2record_1ze3_nboyer((term.car))), ((lst = (term.cdr)), ((lst === null)?null:(new sc_Pair((translate_term_nboyer((lst.car))), (translate_args_nboyer((lst.cdr))))))))));
3520 };
3521 translate_args_nboyer = function(lst) {
3522 var sc_lst_5;
3523 var term;
3524 return ((lst === null)?null:(new sc_Pair(((term = (lst.car)), (!(term instanceof sc_Pair)?term:(new sc_Pair((BgL_sc_symbolzd2ze3symbolzd2record_1ze3_nboyer((term.car))), (translate_args_nboyer((term.cdr))))))), ((sc_lst_5 = (lst.cdr)), ((sc_lst_5 === null)?null:(new sc_Pair((translate_term_nboyer((sc_lst_5.car))), (translate_args_nboyer((sc_lst_5.cdr))))))))));
3525 };
3526 untranslate_term_nboyer = function(term) {
3527 var optrOpnd;
3528 var tail1131;
3529 var L1127;
3530 var falseHead1130;
3531 var symbol_record;
3532 if (!(term instanceof sc_Pair))
3533 return term;
3534 else
3535 {
3536 (falseHead1130 = (new sc_Pair(null, null)));
3537 (L1127 = (term.cdr));
3538 (tail1131 = falseHead1130);
3539 while (!(L1127 === null)) {
3540 {
3541 (tail1131.cdr = (new sc_Pair((untranslate_term_nboyer((L1127.car))), null)));
3542 (tail1131 = (tail1131.cdr));
3543 (L1127 = (L1127.cdr));
3544 }
3545 }
3546 (optrOpnd = (falseHead1130.cdr));
3547 return (new sc_Pair(((symbol_record = (term.car)), (symbol_record[(0)])), optrOpnd));
3548 }
3549 };
3550 BgL_sc_symbolzd2ze3symbolzd2record_1ze3_nboyer = function(sym) {
3551 var r;
3552 var x;
3553 return ((x = (sc_assq(sym, BgL_sc_za2symbolzd2recordszd2alistza2_2z00_nboyer))), ((x!== false)?(x.cdr):((r = [sym, null]), (BgL_sc_za2symbolzd2recordszd2alistza2_2z00_nboyer = (new sc_Pair((new sc_Pair(sym, r)), BgL_sc_za2symbolzd2recordszd2alistza2_2z00_nboyer))), r)));
3554 };
3555 (BgL_sc_za2symbolzd2recordszd2alistza2_2z00_nboyer = null);
3556 translate_alist_nboyer = function(alist) {
3557 var sc_alist_6;
3558 var term;
3559 return ((alist === null)?null:(new sc_Pair((new sc_Pair((alist.car.car), ((term = (alist.car.cdr)), (!(term instanceof sc_Pair)?term:(new sc_Pair((BgL_sc_symbolzd2ze3symbolzd2record_1ze3_nboyer((term.car))), (translate_args_nboyer((term.cdr))))))))), ((sc_alist_6 = (alist.cdr)), ((sc_alist_6 === null)?null:(new sc_Pair((new sc_Pair((sc_alist_6.car.car), (translate_term_nboyer((sc_alist_6.car.cdr))))), (translate_alist_nboyer((sc_alist_6.cdr))))))))));
3560 };
3561 apply_subst_nboyer = function(alist, term) {
3562 var lst;
3563 var temp_temp;
3564 return (!(term instanceof sc_Pair)?((temp_temp = (sc_assq(term, alist))), ((temp_temp!== false)?(temp_temp.cdr):term)):(new sc_Pair((term.car), ((lst = (term.cdr)), ((lst === null)?null:(new sc_Pair((apply_subst_nboyer(alist, (lst.car))), (apply_subst_lst_nboyer(alist, (lst.cdr))))))))));
3565 };
3566 apply_subst_lst_nboyer = function(alist, lst) {
3567 var sc_lst_7;
3568 return ((lst === null)?null:(new sc_Pair((apply_subst_nboyer(alist, (lst.car))), ((sc_lst_7 = (lst.cdr)), ((sc_lst_7 === null)?null:(new sc_Pair((apply_subst_nboyer(alist, (sc_lst_7.car))), (apply_subst_lst_nboyer(alist, (sc_lst_7.cdr))))))))));
3569 };
3570 tautologyp_nboyer = function(sc_x_11, true_lst, false_lst) {
3571 var tmp1125;
3572 var x;
3573 var tmp1126;
3574 var sc_x_8;
3575 var sc_tmp1125_9;
3576 var sc_tmp1126_10;
3577 var sc_x_11;
3578 var true_lst;
3579 var false_lst;
3580 while (true) {
3581 if ((((sc_tmp1126_10 = (is_term_equal_nboyer(sc_x_11, true_term_nboyer))), ((sc_tmp1126_10!== false)?sc_tmp1126_10:(is_term_member_nboyer(sc_x_11, true_lst))))!== false))
3582 return true;
3583 else
3584 if ((((sc_tmp1125_9 = (is_term_equal_nboyer(sc_x_11, false_term_nboyer))), ((sc_tmp1125_9!== false)?sc_tmp1125_9:(is_term_member_nboyer(sc_x_11, false_lst))))!== false))
3585 return false;
3586 else
3587 if (!(sc_x_11 instanceof sc_Pair))
3588 return false;
3589 else
3590 if (((sc_x_11.car)===if_constructor_nboyer))
3591 if ((((sc_x_8 = (sc_x_11.cdr.car)), (tmp1126 = (is_term_equal_nboyer(sc_x_8, true_term_nboyer))), ((tmp1126!== false)?tmp1126:(is_term_member_nboyer(sc_x_8, true_lst))))!== false))
3592 (sc_x_11 = (sc_x_11.cdr.cdr.car));
3593 else
3594 if ((((x = (sc_x_11.cdr.car)), (tmp1125 = (is_term_equal_nboyer(x, false_term_nboyer))), ((tmp1125!== false)?tmp1125:(is_term_member_nboyer(x, false_lst))))!== false))
3595 (sc_x_11 = (sc_x_11.cdr.cdr.cdr.car));
3596 else
3597 if (((tautologyp_nboyer((sc_x_11.cdr.cdr.car), (new sc_Pair((sc_x_11.cdr.car), true_lst)), false_lst))!== false))
3598 {
3599 (false_lst = (new sc_Pair((sc_x_11.cdr.car), false_lst)));
3600 (sc_x_11 = (sc_x_11.cdr.cdr.cdr.car));
3601 }
3602 else
3603 return false;
3604 else
3605 return false;
3606 }
3607 };
3608 (if_constructor_nboyer = "\u1E9C*");
3609 (rewrite_count_nboyer = (0));
3610 rewrite_nboyer = function(term) {
3611 var term2;
3612 var sc_term_12;
3613 var lst;
3614 var symbol_record;
3615 var sc_lst_13;
3616 {
3617 (++rewrite_count_nboyer);
3618 if (!(term instanceof sc_Pair))
3619 return term;
3620 else
3621 {
3622 (sc_term_12 = (new sc_Pair((term.car), ((sc_lst_13 = (term.cdr)), ((sc_lst_13 === null)?null:(new sc_Pair((rewrite_nboyer((sc_lst_13.car))), (rewrite_args_nboyer((sc_lst_13.cdr))))))))));
3623 (lst = ((symbol_record = (term.car)), (symbol_record[(1)])));
3624 while (true) {
3625 if ((lst === null))
3626 return sc_term_12;
3627 else
3628 if ((((term2 = ((lst.car).cdr.car)), (unify_subst_nboyer = null), (one_way_unify1_nboyer(sc_term_12, term2)))!== false))
3629 return (rewrite_nboyer((apply_subst_nboyer(unify_subst_nboyer, ((lst.car).cdr.cdr.car)))));
3630 else
3631 (lst = (lst.cdr));
3632 }
3633 }
3634 }
3635 };
3636 rewrite_args_nboyer = function(lst) {
3637 var sc_lst_14;
3638 return ((lst === null)?null:(new sc_Pair((rewrite_nboyer((lst.car))), ((sc_lst_14 = (lst.cdr)), ((sc_lst_14 === null)?null:(new sc_Pair((rewrite_nboyer((sc_lst_14.car))), (rewrite_args_nboyer((sc_lst_14.cdr))))))))));
3639 };
3640 (unify_subst_nboyer = "\u1E9C*");
3641 one_way_unify1_nboyer = function(term1, term2) {
3642 var lst1;
3643 var lst2;
3644 var temp_temp;
3645 if (!(term2 instanceof sc_Pair))
3646 {
3647 (temp_temp = (sc_assq(term2, unify_subst_nboyer)));
3648 if ((temp_temp!== false))
3649 return (is_term_equal_nboyer(term1, (temp_temp.cdr)));
3650 else
3651 if ((sc_isNumber(term2)))
3652 return (sc_isEqual(term1, term2));
3653 else
3654 {
3655 (unify_subst_nboyer = (new sc_Pair((new sc_Pair(term2, term1)), unify_subst_nboyer)));
3656 return true;
3657 }
3658 }
3659 else
3660 if (!(term1 instanceof sc_Pair))
3661 return false;
3662 else
3663 if (((term1.car)===(term2.car)))
3664 {
3665 (lst1 = (term1.cdr));
3666 (lst2 = (term2.cdr));
3667 while (true) {
3668 if ((lst1 === null))
3669 return (lst2 === null);
3670 else
3671 if ((lst2 === null))
3672 return false;
3673 else
3674 if (((one_way_unify1_nboyer((lst1.car), (lst2.car)))!== false))
3675 {
3676 (lst1 = (lst1.cdr));
3677 (lst2 = (lst2.cdr));
3678 }
3679 else
3680 return false;
3681 }
3682 }
3683 else
3684 return false;
3685 };
3686 (false_term_nboyer = "\u1E9C*");
3687 (true_term_nboyer = "\u1E9C*");
3688 trans_of_implies1_nboyer = function(n) {
3689 var sc_n_15;
3690 return ((sc_isEqual(n, (1)))?(sc_list("\u1E9Cimplies", (0), (1))):(sc_list("\u1E9Cand", (sc_list("\u1E9Cimplies", (n-(1)), n)), ((sc_n_15 = (n-(1))), ((sc_isEqual(sc_n_15, (1)))?(sc_list("\u1E9Cimplies", (0), (1))):(sc_list("\u1E9Cand", (sc_list("\u1E9Cimplies", (sc_n_15-(1)), sc_n_15)), (trans_of_implies1_nboyer((sc_n_15-(1)))))))))));
3691 };
3692 is_term_equal_nboyer = function(x, y) {
3693 var lst1;
3694 var lst2;
3695 var r2;
3696 var r1;
3697 if ((x instanceof sc_Pair))
3698 if ((y instanceof sc_Pair))
3699 if ((((r1 = (x.car)), (r2 = (y.car)), (r1===r2))!== false))
3700 {
3701 (lst1 = (x.cdr));
3702 (lst2 = (y.cdr));
3703 while (true) {
3704 if ((lst1 === null))
3705 return (lst2 === null);
3706 else
3707 if ((lst2 === null))
3708 return false;
3709 else
3710 if (((is_term_equal_nboyer((lst1.car), (lst2.car)))!== false))
3711 {
3712 (lst1 = (lst1.cdr));
3713 (lst2 = (lst2.cdr));
3714 }
3715 else
3716 return false;
3717 }
3718 }
3719 else
3720 return false;
3721 else
3722 return false;
3723 else
3724 return (sc_isEqual(x, y));
3725 };
3726 is_term_member_nboyer = function(x, lst) {
3727 var x;
3728 var lst;
3729 while (true) {
3730 if ((lst === null))
3731 return false;
3732 else
3733 if (((is_term_equal_nboyer(x, (lst.car)))!== false))
3734 return true;
3735 else
3736 (lst = (lst.cdr));
3737 }
3738 };
3739 BgL_setupzd2boyerzd2 = function() {
3740 var symbol_record;
3741 var value;
3742 var BgL_sc_symbolzd2record_16zd2;
3743 var sym;
3744 var sc_sym_17;
3745 var term;
3746 var lst;
3747 var sc_term_18;
3748 var sc_term_19;
3749 {
3750 (BgL_sc_za2symbolzd2recordszd2alistza2_2z00_nboyer = null);
3751 (if_constructor_nboyer = (BgL_sc_symbolzd2ze3symbolzd2record_1ze3_nboyer("\u1E9Cif")));
3752 (false_term_nboyer = ((sc_term_19 = (new sc_Pair("\u1E9Cf",null))), (!(sc_term_19 instanceof sc_Pair)?sc_term_19:(new sc_Pair((BgL_sc_symbolzd2ze3symbolzd2record_1ze3_nboyer((sc_term_19.car))), (translate_args_nboyer((sc_term_19.cdr))))))));
3753 (true_term_nboyer = ((sc_term_18 = (new sc_Pair("\u1E9Ct",null))), (!(sc_term_18 instanceof sc_Pair)?sc_term_18:(new sc_Pair((BgL_sc_symbolzd2ze3symbolzd2record_1ze3_nboyer((sc_term_18.car))), (translate_args_nboyer((sc_term_18.cdr))))))));
3754 (lst = sc_const_3_nboyer);
3755 while (!(lst === null)) {
3756 {
3757 (term = (lst.car));
3758 if (((term instanceof sc_Pair)&&(((term.car)==="\u1E9Cequal")&&((term.cdr.car) instanceof sc_Pair))))
3759 {
3760 (sc_sym_17 = ((term.cdr.car).car));
3761 (value = (new sc_Pair((!(term instanceof sc_Pair)?term:(new sc_Pair((BgL_sc_symbolzd2ze3symbolzd2record_1ze3_nboyer((term.car))), (translate_args_nboyer((term.cdr)))))), ((sym = ((term.cdr.car).car)), (BgL_sc_symbolzd2record_16zd2 = (BgL_sc_symbolzd2ze3symbolzd2record_1ze3_nboyer(sym))), (BgL_sc_symbolzd2record_16zd2[(1)])))));
3762 (symbol_record = (BgL_sc_symbolzd2ze3symbolzd2record_1ze3_nboyer(sc_sym_17)));
3763 (symbol_record[(1)] = value);
3764 }
3765 else
3766 (sc_error("ADD-LEMMA did not like term: ", term));
3767 (lst = (lst.cdr));
3768 }
3769 }
3770 return true;
3771 }
3772 };
3773 BgL_testzd2boyerzd2 = function(n) {
3774 var optrOpnd;
3775 var term;
3776 var sc_n_20;
3777 var answer;
3778 var sc_term_21;
3779 var sc_term_22;
3780 {
3781 (rewrite_count_nboyer = (0));
3782 (term = sc_const_4_nboyer);
3783 (sc_n_20 = n);
3784 while (!(sc_n_20=== 0)) {
3785 {
3786 (term = (sc_list("\u1E9Cor", term, (new sc_Pair("\u1E9Cf",null)))));
3787 (--sc_n_20);
3788 }
3789 }
3790 (sc_term_22 = term);
3791 if (!(sc_term_22 instanceof sc_Pair))
3792 (optrOpnd = sc_term_22);
3793 else
3794 (optrOpnd = (new sc_Pair((BgL_sc_symbolzd2ze3symbolzd2record_1ze3_nboyer((sc_term_22.car))), (translate_args_nboyer((sc_term_22.cdr))))));
3795 (sc_term_21 = (apply_subst_nboyer(((const_nboyer === null)?null:(new sc_Pair((new sc_Pair((const_nboyer.car.car), (translate_term_nboyer((const_nboyer.car.cdr))))), (translate_alist_nboyer((const_nboyer.cdr)))))), optrOpnd)));
3796 (answer = (tautologyp_nboyer((rewrite_nboyer(sc_term_21)), null, null)));
3797 (sc_write(rewrite_count_nboyer));
3798 (sc_display(" rewrites"));
3799 (sc_newline());
3800 if ((answer!== false))
3801 return rewrite_count_nboyer;
3802 else
3803 return false;
3804 }
3805 };
3806 }
3807 /* Exported Variables */
3808 var BgL_parsezd2ze3nbzd2treesze3;
3809 var BgL_earleyzd2benchmarkzd2;
3810 var BgL_parsezd2ze3parsedzf3zc2;
3811 var test;
3812 var BgL_parsezd2ze3treesz31;
3813 var BgL_makezd2parserzd2;
3814 /* End Exports */
3816 var const_earley;
3817 {
3818 (const_earley = (new sc_Pair((new sc_Pair("\u1E9Cs",(new sc_Pair((new sc_Pair("\u1E9Ca",null)),(new sc_Pair((new sc_Pair("\u1E9Cs",(new sc_Pair("\u1E9Cs",null)))),null)))))),null)));
3819 BgL_makezd2parserzd2 = function(grammar, lexer) {
3820 var i;
3821 var parser_descr;
3822 var def_loop;
3823 var nb_nts;
3824 var names;
3825 var steps;
3826 var predictors;
3827 var enders;
3828 var starters;
3829 var nts;
3830 var sc_names_1;
3831 var sc_steps_2;
3832 var sc_predictors_3;
3833 var sc_enders_4;
3834 var sc_starters_5;
3835 var nb_confs;
3836 var BgL_sc_defzd2loop_6zd2;
3837 var BgL_sc_nbzd2nts_7zd2;
3838 var sc_nts_8;
3839 var BgL_sc_defzd2loop_9zd2;
3840 var ind;
3841 {
3842 ind = function(nt, sc_nts_10) {
3843 var i;
3844 {
3845 (i = ((sc_nts_10.length)-(1)));
3846 while (true) {
3847 if ((i>=(0)))
3848 if ((sc_isEqual((sc_nts_10[i]), nt)))
3849 return i;
3850 else
3851 (--i);
3852 else
3853 return false;
3854 }
3855 }
3856 };
3857 (sc_nts_8 = ((BgL_sc_defzd2loop_9zd2 = function(defs, sc_nts_11) {
3858 var rule_loop;
3859 var head;
3860 var def;
3861 return ((defs instanceof sc_Pair)?((def = (defs.car)), (head = (def.car)), (rule_loop = function(rules, sc_nts_12) {
3862 var nt;
3863 var l;
3864 var sc_nts_13;
3865 var rule;
3866 if ((rules instanceof sc_Pair))
3867 {
3868 (rule = (rules.car));
3869 (l = rule);
3870 (sc_nts_13 = sc_nts_12);
3871 while ((l instanceof sc_Pair)) {
3872 {
3873 (nt = (l.car));
3874 (l = (l.cdr));
3875 (sc_nts_13 = (((sc_member(nt, sc_nts_13))!== false)?sc_nts_13:(new sc_Pair(nt, sc_nts_13))));
3876 }
3877 }
3878 return (rule_loop((rules.cdr), sc_nts_13));
3879 }
3880 else
3881 return (BgL_sc_defzd2loop_9zd2((defs.cdr), sc_nts_12));
3882 }), (rule_loop((def.cdr), (((sc_member(head, sc_nts_11))!== false)?sc_nts_11:(new sc_Pair(head, sc_nts_11)))))):(sc_list2vector((sc_reverse(sc_nts_11)))));
3883 }), (BgL_sc_defzd2loop_9zd2(grammar, null))));
3884 (BgL_sc_nbzd2nts_7zd2 = (sc_nts_8.length));
3885 (nb_confs = (((BgL_sc_defzd2loop_6zd2 = function(defs, BgL_sc_nbzd2confs_14zd2) {
3886 var rule_loop;
3887 var def;
3888 return ((defs instanceof sc_Pair)?((def = (defs.car)), (rule_loop = function(rules, BgL_sc_nbzd2confs_15zd2) {
3889 var l;
3890 var BgL_sc_nbzd2confs_16zd2;
3891 var rule;
3892 if ((rules instanceof sc_Pair))
3893 {
3894 (rule = (rules.car));
3895 (l = rule);
3896 (BgL_sc_nbzd2confs_16zd2 = BgL_sc_nbzd2confs_15zd2);
3897 while ((l instanceof sc_Pair)) {
3898 {
3899 (l = (l.cdr));
3900 (++BgL_sc_nbzd2confs_16zd2);
3901 }
3902 }
3903 return (rule_loop((rules.cdr), (BgL_sc_nbzd2confs_16zd2+(1))));
3904 }
3905 else
3906 return (BgL_sc_defzd2loop_6zd2((defs.cdr), BgL_sc_nbzd2confs_15zd2));
3907 }), (rule_loop((def.cdr), BgL_sc_nbzd2confs_14zd2))):BgL_sc_nbzd2confs_14zd2);
3908 }), (BgL_sc_defzd2loop_6zd2(grammar, (0))))+BgL_sc_nbzd2nts_7zd2));
3909 (sc_starters_5 = (sc_makeVector(BgL_sc_nbzd2nts_7zd2, null)));
3910 (sc_enders_4 = (sc_makeVector(BgL_sc_nbzd2nts_7zd2, null)));
3911 (sc_predictors_3 = (sc_makeVector(BgL_sc_nbzd2nts_7zd2, null)));
3912 (sc_steps_2 = (sc_makeVector(nb_confs, false)));
3913 (sc_names_1 = (sc_makeVector(nb_confs, false)));
3914 (nts = sc_nts_8);
3915 (starters = sc_starters_5);
3916 (enders = sc_enders_4);
3917 (predictors = sc_predictors_3);
3918 (steps = sc_steps_2);
3919 (names = sc_names_1);
3920 (nb_nts = (sc_nts_8.length));
3921 (i = (nb_nts-(1)));
3922 while ((i>=(0))) {
3923 {
3924 (sc_steps_2[i] = (i-nb_nts));
3925 (sc_names_1[i] = (sc_list((sc_nts_8[i]), (0))));
3926 (sc_enders_4[i] = (sc_list(i)));
3927 (--i);
3928 }
3929 }
3930 def_loop = function(defs, conf) {
3931 var rule_loop;
3932 var head;
3933 var def;
3934 return ((defs instanceof sc_Pair)?((def = (defs.car)), (head = (def.car)), (rule_loop = function(rules, conf, rule_num) {
3935 var i;
3936 var sc_i_17;
3937 var nt;
3938 var l;
3939 var sc_conf_18;
3940 var sc_i_19;
3941 var rule;
3942 if ((rules instanceof sc_Pair))
3943 {
3944 (rule = (rules.car));
3945 (names[conf] = (sc_list(head, rule_num)));
3946 (sc_i_19 = (ind(head, nts)));
3947 (starters[sc_i_19] = (new sc_Pair(conf, (starters[sc_i_19]))));
3948 (l = rule);
3949 (sc_conf_18 = conf);
3950 while ((l instanceof sc_Pair)) {
3951 {
3952 (nt = (l.car));
3953 (steps[sc_conf_18] = (ind(nt, nts)));
3954 (sc_i_17 = (ind(nt, nts)));
3955 (predictors[sc_i_17] = (new sc_Pair(sc_conf_18, (predictors[sc_i_17]))));
3956 (l = (l.cdr));
3957 (++sc_conf_18);
3958 }
3959 }
3960 (steps[sc_conf_18] = ((ind(head, nts))-nb_nts));
3961 (i = (ind(head, nts)));
3962 (enders[i] = (new sc_Pair(sc_conf_18, (enders[i]))));
3963 return (rule_loop((rules.cdr), (sc_conf_18+(1)), (rule_num+(1))));
3964 }
3965 else
3966 return (def_loop((defs.cdr), conf));
3967 }), (rule_loop((def.cdr), conf, (1)))):undefined);
3968 };
3969 (def_loop(grammar, (sc_nts_8.length)));
3970 (parser_descr = [lexer, sc_nts_8, sc_starters_5, sc_enders_4, sc_predictors_3, sc_steps_2, sc_names_1]);
3971 return function(input) {
3972 var optrOpnd;
3973 var sc_optrOpnd_20;
3974 var sc_optrOpnd_21;
3975 var sc_optrOpnd_22;
3976 var loop1;
3977 var BgL_sc_stateza2_23za2;
3978 var toks;
3979 var BgL_sc_nbzd2nts_24zd2;
3980 var sc_steps_25;
3981 var sc_enders_26;
3982 var state_num;
3983 var BgL_sc_statesza2_27za2;
3984 var states;
3985 var i;
3986 var conf;
3987 var l;
3988 var tok_nts;
3989 var sc_i_28;
3990 var sc_i_29;
3991 var l1;
3992 var l2;
3993 var tok;
3994 var tail1129;
3995 var L1125;
3996 var goal_enders;
3997 var BgL_sc_statesza2_30za2;
3998 var BgL_sc_nbzd2nts_31zd2;
3999 var BgL_sc_nbzd2confs_32zd2;
4000 var nb_toks;
4001 var goal_starters;
4002 var sc_states_33;
4003 var BgL_sc_nbzd2confs_34zd2;
4004 var BgL_sc_nbzd2toks_35zd2;
4005 var sc_toks_36;
4006 var falseHead1128;
4007 var sc_names_37;
4008 var sc_steps_38;
4009 var sc_predictors_39;
4010 var sc_enders_40;
4011 var sc_starters_41;
4012 var sc_nts_42;
4013 var lexer;
4014 var sc_ind_43;
4015 var make_states;
4016 var BgL_sc_confzd2setzd2getza2_44za2;
4017 var conf_set_merge_new_bang;
4018 var conf_set_adjoin;
4019 var BgL_sc_confzd2setzd2adjoinza2_45za2;
4020 var BgL_sc_confzd2setzd2adjoinza2za2_46z00;
4021 var conf_set_union;
4022 var forw;
4023 var is_parsed;
4024 var deriv_trees;
4025 var BgL_sc_derivzd2treesza2_47z70;
4026 var nb_deriv_trees;
4027 var BgL_sc_nbzd2derivzd2treesza2_48za2;
4028 {
4029 sc_ind_43 = function(nt, sc_nts_49) {
4030 var i;
4031 {
4032 (i = ((sc_nts_49.length)-(1)));
4033 while (true) {
4034 if ((i>=(0)))
4035 if ((sc_isEqual((sc_nts_49[i]), nt)))
4036 return i;
4037 else
4038 (--i);
4039 else
4040 return false;
4041 }
4042 }
4043 };
4044 make_states = function(BgL_sc_nbzd2toks_50zd2, BgL_sc_nbzd2confs_51zd2) {
4045 var v;
4046 var i;
4047 var sc_states_52;
4048 {
4049 (sc_states_52 = (sc_makeVector((BgL_sc_nbzd2toks_50zd2+(1)), false)));
4050 (i = BgL_sc_nbzd2toks_50zd2);
4051 while ((i>=(0))) {
4052 {
4053 (v = (sc_makeVector((BgL_sc_nbzd2confs_51zd2+(1)), false)));
4054 (v[(0)] = (-1));
4055 (sc_states_52[i] = v);
4056 (--i);
4057 }
4058 }
4059 return sc_states_52;
4060 }
4061 };
4062 BgL_sc_confzd2setzd2getza2_44za2 = function(state, BgL_sc_statezd2num_53zd2, sc_conf_54) {
4063 var conf_set;
4064 var BgL_sc_confzd2set_55zd2;
4065 return ((BgL_sc_confzd2set_55zd2 = (state[(sc_conf_54+(1))])), ((BgL_sc_confzd2set_55zd2!== false)?BgL_sc_confzd2set_55zd2:((conf_set = (sc_makeVector((BgL_sc_statezd2num_53zd2+(6)), false))), (conf_set[(1)] = (-3)), (conf_set[(2)] = (-1)), (conf_set[(3)] = (-1)), (conf_set[(4)] = (-1)), (state[(sc_conf_54+(1))] = conf_set), conf_set)));
4066 };
4067 conf_set_merge_new_bang = function(conf_set) {
4068 return ((conf_set[((conf_set[(1)])+(5))] = (conf_set[(4)])), (conf_set[(1)] = (conf_set[(3)])), (conf_set[(3)] = (-1)), (conf_set[(4)] = (-1)));
4069 };
4070 conf_set_adjoin = function(state, conf_set, sc_conf_56, i) {
4071 var tail;
4072 return ((tail = (conf_set[(3)])), (conf_set[(i+(5))] = (-1)), (conf_set[(tail+(5))] = i), (conf_set[(3)] = i), ((tail<(0))?((conf_set[(0)] = (state[(0)])), (state[(0)] = sc_conf_56)):undefined));
4073 };
4074 BgL_sc_confzd2setzd2adjoinza2_45za2 = function(sc_states_57, BgL_sc_statezd2num_58zd2, l, i) {
4075 var conf_set;
4076 var sc_conf_59;
4077 var l1;
4078 var state;
4079 {
4080 (state = (sc_states_57[BgL_sc_statezd2num_58zd2]));
4081 (l1 = l);
4082 while ((l1 instanceof sc_Pair)) {
4083 {
4084 (sc_conf_59 = (l1.car));
4085 (conf_set = (BgL_sc_confzd2setzd2getza2_44za2(state, BgL_sc_statezd2num_58zd2, sc_conf_59)));
4086 if (((conf_set[(i+(5))])=== false))
4087 {
4088 (conf_set_adjoin(state, conf_set, sc_conf_59, i));
4089 (l1 = (l1.cdr));
4090 }
4091 else
4092 (l1 = (l1.cdr));
4093 }
4094 }
4095 return undefined;
4096 }
4097 };
4098 BgL_sc_confzd2setzd2adjoinza2za2_46z00 = function(sc_states_60, BgL_sc_statesza2_61za2, BgL_sc_statezd2num_62zd2, sc_conf_63, i) {
4099 var BgL_sc_confzd2setza2_64z70;
4100 var BgL_sc_stateza2_65za2;
4101 var conf_set;
4102 var state;
4103 return ((state = (sc_states_60[BgL_sc_statezd2num_62zd2])), ((((conf_set = (state[(sc_conf_63+(1))])), ((conf_set!== false)?(conf_set[(i+(5))]):false))!== false)?((BgL_sc_stateza2_65za2 = (BgL_sc_statesza2_61za2[BgL_sc_statezd2num_62zd2])), (BgL_sc_confzd2setza2_64z70 = (BgL_sc_confzd2setzd2getza2_44za2(BgL_sc_stateza2_65za2, BgL_sc_statezd2num_62zd2, sc_conf_63))), (((BgL_sc_confzd2setza2_64z70[(i+(5))])=== false)?(conf_set_adjoin(BgL_sc_stateza2_65za2, BgL_sc_confzd2setza2_64z70, sc_conf_63, i)):undefined), true):false));
4104 };
4105 conf_set_union = function(state, conf_set, sc_conf_66, other_set) {
4106 var i;
4107 {
4108 (i = (other_set[(2)]));
4109 while ((i>=(0))) {
4110 if (((conf_set[(i+(5))])=== false))
4111 {
4112 (conf_set_adjoin(state, conf_set, sc_conf_66, i));
4113 (i = (other_set[(i+(5))]));
4114 }
4115 else
4116 (i = (other_set[(i+(5))]));
4117 }
4118 return undefined;
4119 }
4120 };
4121 forw = function(sc_states_67, BgL_sc_statezd2num_68zd2, sc_starters_69, sc_enders_70, sc_predictors_71, sc_steps_72, sc_nts_73) {
4122 var next_set;
4123 var next;
4124 var conf_set;
4125 var ender;
4126 var l;
4127 var starter_set;
4128 var starter;
4129 var sc_l_74;
4130 var sc_loop1_75;
4131 var head;
4132 var BgL_sc_confzd2set_76zd2;
4133 var BgL_sc_statezd2num_77zd2;
4134 var state;
4135 var sc_states_78;
4136 var preds;
4137 var BgL_sc_confzd2set_79zd2;
4138 var step;
4139 var sc_conf_80;
4140 var BgL_sc_nbzd2nts_81zd2;
4141 var sc_state_82;
4142 {
4143 (sc_state_82 = (sc_states_67[BgL_sc_statezd2num_68zd2]));
4144 (BgL_sc_nbzd2nts_81zd2 = (sc_nts_73.length));
4145 while (true) {
4146 {
4147 (sc_conf_80 = (sc_state_82[(0)]));
4148 if ((sc_conf_80>=(0)))
4149 {
4150 (step = (sc_steps_72[sc_conf_80]));
4151 (BgL_sc_confzd2set_79zd2 = (sc_state_82[(sc_conf_80+(1))]));
4152 (head = (BgL_sc_confzd2set_79zd2[(4)]));
4153 (sc_state_82[(0)] = (BgL_sc_confzd2set_79zd2[(0)]));
4154 (conf_set_merge_new_bang(BgL_sc_confzd2set_79zd2));
4155 if ((step>=(0)))
4156 {
4157 (sc_l_74 = (sc_starters_69[step]));
4158 while ((sc_l_74 instanceof sc_Pair)) {
4159 {
4160 (starter = (sc_l_74.car));
4161 (starter_set = (BgL_sc_confzd2setzd2getza2_44za2(sc_state_82, BgL_sc_statezd2num_68zd2, starter)));
4162 if (((starter_set[(BgL_sc_statezd2num_68zd2+(5))])=== false))
4163 {
4164 (conf_set_adjoin(sc_state_82, starter_set, starter, BgL_sc_statezd2num_68zd2));
4165 (sc_l_74 = (sc_l_74.cdr));
4166 }
4167 else
4168 (sc_l_74 = (sc_l_74.cdr));
4169 }
4170 }
4171 (l = (sc_enders_70[step]));
4172 while ((l instanceof sc_Pair)) {
4173 {
4174 (ender = (l.car));
4175 if ((((conf_set = (sc_state_82[(ender+(1))])), ((conf_set!== false)?(conf_set[(BgL_sc_statezd2num_68zd2+(5))]):false))!== false))
4176 {
4177 (next = (sc_conf_80+(1)));
4178 (next_set = (BgL_sc_confzd2setzd2getza2_44za2(sc_state_82, BgL_sc_statezd2num_68zd2, next)));
4179 (conf_set_union(sc_state_82, next_set, next, BgL_sc_confzd2set_79zd2));
4180 (l = (l.cdr));
4181 }
4182 else
4183 (l = (l.cdr));
4184 }
4185 }
4186 }
4187 else
4188 {
4189 (preds = (sc_predictors_71[(step+BgL_sc_nbzd2nts_81zd2)]));
4190 (sc_states_78 = sc_states_67);
4191 (state = sc_state_82);
4192 (BgL_sc_statezd2num_77zd2 = BgL_sc_statezd2num_68zd2);
4193 (BgL_sc_confzd2set_76zd2 = BgL_sc_confzd2set_79zd2);
4194 sc_loop1_75 = function(l) {
4195 var sc_state_83;
4196 var BgL_sc_nextzd2set_84zd2;
4197 var sc_next_85;
4198 var pred_set;
4199 var i;
4200 var pred;
4201 if ((l instanceof sc_Pair))
4202 {
4203 (pred = (l.car));
4204 (i = head);
4205 while ((i>=(0))) {
4206 {
4207 (pred_set = ((sc_state_83 = (sc_states_78[i])), (sc_state_83[(pred+(1))])));
4208 if ((pred_set!== false))
4209 {
4210 (sc_next_85 = (pred+(1)));
4211 (BgL_sc_nextzd2set_84zd2 = (BgL_sc_confzd2setzd2getza2_44za2(state, BgL_sc_statezd2num_77zd2, sc_next_85)));
4212 (conf_set_union(state, BgL_sc_nextzd2set_84zd2, sc_next_85, pred_set));
4213 }
4214 (i = (BgL_sc_confzd2set_76zd2[(i+(5))]));
4215 }
4216 }
4217 return (sc_loop1_75((l.cdr)));
4218 }
4219 else
4220 return undefined;
4221 };
4222 (sc_loop1_75(preds));
4223 }
4224 }
4225 else
4226 return undefined;
4227 }
4228 }
4229 }
4230 };
4231 is_parsed = function(nt, i, j, sc_nts_86, sc_enders_87, sc_states_88) {
4232 var conf_set;
4233 var state;
4234 var sc_conf_89;
4235 var l;
4236 var BgL_sc_ntza2_90za2;
4237 {
4238 (BgL_sc_ntza2_90za2 = (sc_ind_43(nt, sc_nts_86)));
4239 if ((BgL_sc_ntza2_90za2!== false))
4240 {
4241 (sc_nts_86.length);
4242 (l = (sc_enders_87[BgL_sc_ntza2_90za2]));
4243 while (true) {
4244 if ((l instanceof sc_Pair))
4245 {
4246 (sc_conf_89 = (l.car));
4247 if ((((state = (sc_states_88[j])), (conf_set = (state[(sc_conf_89+(1))])), ((conf_set!== false)?(conf_set[(i+(5))]):false))!== false))
4248 return true;
4249 else
4250 (l = (l.cdr));
4251 }
4252 else
4253 return false;
4254 }
4255 }
4256 else
4257 return false;
4258 }
4259 };
4260 deriv_trees = function(sc_conf_91, i, j, sc_enders_92, sc_steps_93, sc_names_94, sc_toks_95, sc_states_96, BgL_sc_nbzd2nts_97zd2) {
4261 var sc_loop1_98;
4262 var prev;
4263 var name;
4264 return ((name = (sc_names_94[sc_conf_91])), ((name!== false)?((sc_conf_91<BgL_sc_nbzd2nts_97zd2)?(sc_list((sc_list(name, ((sc_toks_95[i]).car))))):(sc_list((sc_list(name))))):((prev = (sc_conf_91-(1))), (sc_loop1_98 = function(l1, l2) {
4265 var loop2;
4266 var ender_set;
4267 var state;
4268 var ender;
4269 var l1;
4270 var l2;
4271 while (true) {
4272 if ((l1 instanceof sc_Pair))
4273 {
4274 (ender = (l1.car));
4275 (ender_set = ((state = (sc_states_96[j])), (state[(ender+(1))])));
4276 if ((ender_set!== false))
4277 {
4278 loop2 = function(k, l2) {
4279 var loop3;
4280 var ender_trees;
4281 var prev_trees;
4282 var conf_set;
4283 var sc_state_99;
4284 var k;
4285 var l2;
4286 while (true) {
4287 if ((k>=(0)))
4288 if (((k>=i)&&(((sc_state_99 = (sc_states_96[k])), (conf_set = (sc_state_99[(prev+(1))])), ((conf_set!== false)?(conf_set[(i+(5))]):false))!== false)))
4289 {
4290 (prev_trees = (deriv_trees(prev, i, k, sc_enders_92, sc_steps_93, sc_names_94, sc_toks_95, sc_states_96, BgL_sc_nbzd2nts_97zd2)));
4291 (ender_trees = (deriv_trees(ender, k, j, sc_enders_92, sc_steps_93, sc_names_94, sc_toks_95, sc_states_96, BgL_sc_nbzd2nts_97zd2)));
4292 loop3 = function(l3, l2) {
4293 var l4;
4294 var sc_l2_100;
4295 var ender_tree;
4296 if ((l3 instanceof sc_Pair))
4297 {
4298 (ender_tree = (sc_list((l3.car))));
4299 (l4 = prev_trees);
4300 (sc_l2_100 = l2);
4301 while ((l4 instanceof sc_Pair)) {
4302 {
4303 (sc_l2_100 = (new sc_Pair((sc_append((l4.car), ender_tree)), sc_l2_100)));
4304 (l4 = (l4.cdr));
4305 }
4306 }
4307 return (loop3((l3.cdr), sc_l2_100));
4308 }
4309 else
4310 return (loop2((ender_set[(k+(5))]), l2));
4311 };
4312 return (loop3(ender_trees, l2));
4313 }
4314 else
4315 (k = (ender_set[(k+(5))]));
4316 else
4317 return (sc_loop1_98((l1.cdr), l2));
4318 }
4319 };
4320 return (loop2((ender_set[(2)]), l2));
4321 }
4322 else
4323 (l1 = (l1.cdr));
4324 }
4325 else
4326 return l2;
4327 }
4328 }), (sc_loop1_98((sc_enders_92[(sc_steps_93[prev])]), null)))));
4329 };
4330 BgL_sc_derivzd2treesza2_47z70 = function(nt, i, j, sc_nts_101, sc_enders_102, sc_steps_103, sc_names_104, sc_toks_105, sc_states_106) {
4331 var conf_set;
4332 var state;
4333 var sc_conf_107;
4334 var l;
4335 var trees;
4336 var BgL_sc_nbzd2nts_108zd2;
4337 var BgL_sc_ntza2_109za2;
4338 {
4339 (BgL_sc_ntza2_109za2 = (sc_ind_43(nt, sc_nts_101)));
4340 if ((BgL_sc_ntza2_109za2!== false))
4341 {
4342 (BgL_sc_nbzd2nts_108zd2 = (sc_nts_101.length));
4343 (l = (sc_enders_102[BgL_sc_ntza2_109za2]));
4344 (trees = null);
4345 while ((l instanceof sc_Pair)) {
4346 {
4347 (sc_conf_107 = (l.car));
4348 if ((((state = (sc_states_106[j])), (conf_set = (state[(sc_conf_107+(1))])), ((conf_set!== false)?(conf_set[(i+(5))]):false))!== false))
4349 {
4350 (l = (l.cdr));
4351 (trees = (sc_append((deriv_trees(sc_conf_107, i, j, sc_enders_102, sc_steps_103, sc_names_104, sc_toks_105, sc_states_106, BgL_sc_nbzd2nts_108zd2)), trees)));
4352 }
4353 else
4354 (l = (l.cdr));
4355 }
4356 }
4357 return trees;
4358 }
4359 else
4360 return false;
4361 }
4362 };
4363 nb_deriv_trees = function(sc_conf_110, i, j, sc_enders_111, sc_steps_112, sc_toks_113, sc_states_114, BgL_sc_nbzd2nts_115zd2) {
4364 var sc_loop1_116;
4365 var tmp1124;
4366 var prev;
4367 return ((prev = (sc_conf_110-(1))), ((((tmp1124 = (sc_conf_110<BgL_sc_nbzd2nts_115zd2)), ((tmp1124!== false)?tmp1124:((sc_steps_112[prev])<(0))))!== false)?(1):((sc_loop1_116 = function(l, sc_n_118) {
4368 var nb_ender_trees;
4369 var nb_prev_trees;
4370 var conf_set;
4371 var state;
4372 var k;
4373 var n;
4374 var ender_set;
4375 var sc_state_117;
4376 var ender;
4377 var l;
4378 var sc_n_118;
4379 while (true) {
4380 if ((l instanceof sc_Pair))
4381 {
4382 (ender = (l.car));
4383 (ender_set = ((sc_state_117 = (sc_states_114[j])), (sc_state_117[(ender+(1))])));
4384 if ((ender_set!== false))
4385 {
4386 (k = (ender_set[(2)]));
4387 (n = sc_n_118);
4388 while ((k>=(0))) {
4389 if (((k>=i)&&(((state = (sc_states_114[k])), (conf_set = (state[(prev+(1))])), ((conf_set!== false)?(conf_set[(i+(5))]):false))!== false)))
4390 {
4391 (nb_prev_trees = (nb_deriv_trees(prev, i, k, sc_enders_111, sc_steps_112, sc_toks_113, sc_states_114, BgL_sc_nbzd2nts_115zd2)));
4392 (nb_ender_trees = (nb_deriv_trees(ender, k, j, sc_enders_111, sc_steps_112, sc_toks_113, sc_states_114, BgL_sc_nbzd2nts_115zd2)));
4393 (k = (ender_set[(k+(5))]));
4394 (n +=(nb_prev_trees*nb_ender_trees));
4395 }
4396 else
4397 (k = (ender_set[(k+(5))]));
4398 }
4399 return (sc_loop1_116((l.cdr), n));
4400 }
4401 else
4402 (l = (l.cdr));
4403 }
4404 else
4405 return sc_n_118;
4406 }
4407 }), (sc_loop1_116((sc_enders_111[(sc_steps_112[prev])]), (0))))));
4408 };
4409 BgL_sc_nbzd2derivzd2treesza2_48za2 = function(nt, i, j, sc_nts_119, sc_enders_120, sc_steps_121, sc_toks_122, sc_states_123) {
4410 var conf_set;
4411 var state;
4412 var sc_conf_124;
4413 var l;
4414 var nb_trees;
4415 var BgL_sc_nbzd2nts_125zd2;
4416 var BgL_sc_ntza2_126za2;
4417 {
4418 (BgL_sc_ntza2_126za2 = (sc_ind_43(nt, sc_nts_119)));
4419 if ((BgL_sc_ntza2_126za2!== false))
4420 {
4421 (BgL_sc_nbzd2nts_125zd2 = (sc_nts_119.length));
4422 (l = (sc_enders_120[BgL_sc_ntza2_126za2]));
4423 (nb_trees = (0));
4424 while ((l instanceof sc_Pair)) {
4425 {
4426 (sc_conf_124 = (l.car));
4427 if ((((state = (sc_states_123[j])), (conf_set = (state[(sc_conf_124+(1))])), ((conf_set!== false)?(conf_set[(i+(5))]):false))!== false))
4428 {
4429 (l = (l.cdr));
4430 (nb_trees = ((nb_deriv_trees(sc_conf_124, i, j, sc_enders_120, sc_steps_121, sc_toks_122, sc_states_123, BgL_sc_nbzd2nts_125zd2))+nb_trees));
4431 }
4432 else
4433 (l = (l.cdr));
4434 }
4435 }
4436 return nb_trees;
4437 }
4438 else
4439 return false;
4440 }
4441 };
4442 (lexer = (parser_descr[(0)]));
4443 (sc_nts_42 = (parser_descr[(1)]));
4444 (sc_starters_41 = (parser_descr[(2)]));
4445 (sc_enders_40 = (parser_descr[(3)]));
4446 (sc_predictors_39 = (parser_descr[(4)]));
4447 (sc_steps_38 = (parser_descr[(5)]));
4448 (sc_names_37 = (parser_descr[(6)]));
4449 (falseHead1128 = (new sc_Pair(null, null)));
4450 (L1125 = (lexer(input)));
4451 (tail1129 = falseHead1128);
4452 while (!(L1125 === null)) {
4453 {
4454 (tok = (L1125.car));
4455 (l1 = (tok.cdr));
4456 (l2 = null);
4457 while ((l1 instanceof sc_Pair)) {
4458 {
4459 (sc_i_29 = (sc_ind_43((l1.car), sc_nts_42)));
4460 if ((sc_i_29!== false))
4461 {
4462 (l1 = (l1.cdr));
4463 (l2 = (new sc_Pair(sc_i_29, l2)));
4464 }
4465 else
4466 (l1 = (l1.cdr));
4467 }
4468 }
4469 (sc_optrOpnd_22 = (new sc_Pair((tok.car), (sc_reverse(l2)))));
4470 (sc_optrOpnd_21 = (new sc_Pair(sc_optrOpnd_22, null)));
4471 (tail1129.cdr = sc_optrOpnd_21);
4472 (tail1129 = (tail1129.cdr));
4473 (L1125 = (L1125.cdr));
4474 }
4475 }
4476 (sc_optrOpnd_20 = (falseHead1128.cdr));
4477 (sc_toks_36 = (sc_list2vector(sc_optrOpnd_20)));
4478 (BgL_sc_nbzd2toks_35zd2 = (sc_toks_36.length));
4479 (BgL_sc_nbzd2confs_34zd2 = (sc_steps_38.length));
4480 (sc_states_33 = (make_states(BgL_sc_nbzd2toks_35zd2, BgL_sc_nbzd2confs_34zd2)));
4481 (goal_starters = (sc_starters_41[(0)]));
4482 (BgL_sc_confzd2setzd2adjoinza2_45za2(sc_states_33, (0), goal_starters, (0)));
4483 (forw(sc_states_33, (0), sc_starters_41, sc_enders_40, sc_predictors_39, sc_steps_38, sc_nts_42));
4484 (sc_i_28 = (0));
4485 while ((sc_i_28<BgL_sc_nbzd2toks_35zd2)) {
4486 {
4487 (tok_nts = ((sc_toks_36[sc_i_28]).cdr));
4488 (BgL_sc_confzd2setzd2adjoinza2_45za2(sc_states_33, (sc_i_28+(1)), tok_nts, sc_i_28));
4489 (forw(sc_states_33, (sc_i_28+(1)), sc_starters_41, sc_enders_40, sc_predictors_39, sc_steps_38, sc_nts_42));
4490 (++sc_i_28);
4491 }
4492 }
4493 (nb_toks = (sc_toks_36.length));
4494 (BgL_sc_nbzd2confs_32zd2 = (sc_steps_38.length));
4495 (BgL_sc_nbzd2nts_31zd2 = (sc_nts_42.length));
4496 (BgL_sc_statesza2_30za2 = (make_states(nb_toks, BgL_sc_nbzd2confs_32zd2)));
4497 (goal_enders = (sc_enders_40[(0)]));
4498 (l = goal_enders);
4499 while ((l instanceof sc_Pair)) {
4500 {
4501 (conf = (l.car));
4502 (BgL_sc_confzd2setzd2adjoinza2za2_46z00(sc_states_33, BgL_sc_statesza2_30za2, nb_toks, conf, (0)));
4503 (l = (l.cdr));
4504 }
4505 }
4506 (i = nb_toks);
4507 while ((i>=(0))) {
4508 {
4509 (states = sc_states_33);
4510 (BgL_sc_statesza2_27za2 = BgL_sc_statesza2_30za2);
4511 (state_num = i);
4512 (sc_enders_26 = sc_enders_40);
4513 (sc_steps_25 = sc_steps_38);
4514 (BgL_sc_nbzd2nts_24zd2 = BgL_sc_nbzd2nts_31zd2);
4515 (toks = sc_toks_36);
4516 (BgL_sc_stateza2_23za2 = (BgL_sc_statesza2_30za2[i]));
4517 loop1 = function() {
4518 var sc_loop1_127;
4519 var prev;
4520 var BgL_sc_statesza2_128za2;
4521 var sc_states_129;
4522 var j;
4523 var i;
4524 var sc_i_130;
4525 var head;
4526 var conf_set;
4527 var sc_conf_131;
4528 {
4529 (sc_conf_131 = (BgL_sc_stateza2_23za2[(0)]));
4530 if ((sc_conf_131>=(0)))
4531 {
4532 (conf_set = (BgL_sc_stateza2_23za2[(sc_conf_131+(1))]));
4533 (head = (conf_set[(4)]));
4534 (BgL_sc_stateza2_23za2[(0)] = (conf_set[(0)]));
4535 (conf_set_merge_new_bang(conf_set));
4536 (sc_i_130 = head);
4537 while ((sc_i_130>=(0))) {
4538 {
4539 (i = sc_i_130);
4540 (j = state_num);
4541 (sc_states_129 = states);
4542 (BgL_sc_statesza2_128za2 = BgL_sc_statesza2_27za2);
4543 (prev = (sc_conf_131-(1)));
4544 if (((sc_conf_131>=BgL_sc_nbzd2nts_24zd2)&&((sc_steps_25[prev])>=(0))))
4545 {
4546 sc_loop1_127 = function(l) {
4547 var k;
4548 var ender_set;
4549 var state;
4550 var ender;
4551 var l;
4552 while (true) {
4553 if ((l instanceof sc_Pair))
4554 {
4555 (ender = (l.car));
4556 (ender_set = ((state = (sc_states_129[j])), (state[(ender+(1))])));
4557 if ((ender_set!== false))
4558 {
4559 (k = (ender_set[(2)]));
4560 while ((k>=(0))) {
4561 {
4562 if ((k>=i))
4563 if (((BgL_sc_confzd2setzd2adjoinza2za2_46z00(sc_states_129, BgL_sc_statesza2_128za2, k, prev, i))!== false))
4564 (BgL_sc_confzd2setzd2adjoinza2za2_46z00(sc_states_129, BgL_sc_statesza2_128za2, j, ender, k));
4565 (k = (ender_set[(k+(5))]));
4566 }
4567 }
4568 return (sc_loop1_127((l.cdr)));
4569 }
4570 else
4571 (l = (l.cdr));
4572 }
4573 else
4574 return undefined;
4575 }
4576 };
4577 (sc_loop1_127((sc_enders_26[(sc_steps_25[prev])])));
4578 }
4579 (sc_i_130 = (conf_set[(sc_i_130+(5))]));
4580 }
4581 }
4582 return (loop1());
4583 }
4584 else
4585 return undefined;
4586 }
4587 };
4588 (loop1());
4589 (--i);
4590 }
4591 }
4592 (optrOpnd = BgL_sc_statesza2_30za2);
4593 return [sc_nts_42, sc_starters_41, sc_enders_40, sc_predictors_39, sc_steps_38, sc_names_37, sc_toks_36, optrOpnd, is_parsed, BgL_sc_derivzd2treesza2_47z70, BgL_sc_nbzd2derivzd2treesza2_48za2];
4594 }
4595 };
4596 }
4597 };
4598 BgL_parsezd2ze3parsedzf3zc2 = function(parse, nt, i, j) {
4599 var is_parsed;
4600 var states;
4601 var enders;
4602 var nts;
4603 return ((nts = (parse[(0)])), (enders = (parse[(2)])), (states = (parse[(7)])), (is_parsed = (parse[(8)])), (is_parsed(nt, i, j, nts, enders, states)));
4604 };
4605 BgL_parsezd2ze3treesz31 = function(parse, nt, i, j) {
4606 var BgL_sc_derivzd2treesza2_132z70;
4607 var states;
4608 var toks;
4609 var names;
4610 var steps;
4611 var enders;
4612 var nts;
4613 return ((nts = (parse[(0)])), (enders = (parse[(2)])), (steps = (parse[(4)])), (names = (parse[(5)])), (toks = (parse[(6)])), (states = (parse[(7)])), (BgL_sc_derivzd2treesza2_132z70 = (parse[(9)])), (BgL_sc_derivzd2treesza2_132z70(nt, i, j, nts, enders, steps, names, toks, states)));
4614 };
4615 BgL_parsezd2ze3nbzd2treesze3 = function(parse, nt, i, j) {
4616 var BgL_sc_nbzd2derivzd2treesza2_133za2;
4617 var states;
4618 var toks;
4619 var steps;
4620 var enders;
4621 var nts;
4622 return ((nts = (parse[(0)])), (enders = (parse[(2)])), (steps = (parse[(4)])), (toks = (parse[(6)])), (states = (parse[(7)])), (BgL_sc_nbzd2derivzd2treesza2_133za2 = (parse[(10)])), (BgL_sc_nbzd2derivzd2treesza2_133za2(nt, i, j, nts, enders, steps, toks, states)));
4623 };
4624 test = function(k) {
4625 var x;
4626 var p;
4627 return ((p = (BgL_makezd2parserzd2(const_earley, function(l) {
4628 var sc_x_134;
4629 var tail1134;
4630 var L1130;
4631 var falseHead1133;
4632 {
4633 (falseHead1133 = (new sc_Pair(null, null)));
4634 (tail1134 = falseHead1133);
4635 (L1130 = l);
4636 while (!(L1130 === null)) {
4637 {
4638 (tail1134.cdr = (new sc_Pair(((sc_x_134 = (L1130.car)), (sc_list(sc_x_134, sc_x_134))), null)));
4639 (tail1134 = (tail1134.cdr));
4640 (L1130 = (L1130.cdr));
4641 }
4642 }
4643 return (falseHead1133.cdr);
4644 }
4645 }))), (x = (p((sc_vector2list((sc_makeVector(k, "\u1E9Ca"))))))), (sc_length((BgL_parsezd2ze3treesz31(x, "\u1E9Cs", (0), k)))));
4646 };
4647 BgL_earleyzd2benchmarkzd2 = function() {
4648 var args = null;
4649 for (var sc_tmp = arguments.length - 1; sc_tmp >= 0; sc_tmp--) {
4650 args = sc_cons(arguments[sc_tmp], args);
4651 }
4652 var k;
4653 return ((k = ((args === null)?(7):(args.car))), (BgL_runzd2benchmarkzd2("earley", (1), function() {
4654 return (test(k));
4655 }, function(result) {
4656 return ((sc_display(result)), (sc_newline()), result == 132);
4657 })));
4658 };
4659 }
4662 /************* END OF GENERATED CODE *************/
4663 // Invoke this function to run a benchmark.
4664 // The first argument is a string identifying the benchmark.
4665 // The second argument is the number of times to run the benchmark.
4666 // The third argument is a function that runs the benchmark.
4667 // The fourth argument is a unary function that warns if the result
4668 // returned by the benchmark is incorrect.
4669 //
4670 // Example:
4671 // RunBenchmark("new Array()",
4672 // 1,
4673 // function () { new Array(1000000); }
4674 // function (v) {
4675 // return (v instanceof Array) && (v.length == 1000000);
4676 // });
4678 SC_DEFAULT_OUT = new sc_GenericOutputPort(function(s) {});
4679 SC_ERROR_OUT = SC_DEFAULT_OUT;
4681 function RunBenchmark(name, count, run, warn) {
4682 for (var n = 0; n < count; ++n) {
4683 result = run();
4684 if (!warn(result)) {
4685 throw new Error("Earley or Boyer did incorrect number of rewrites");
4686 }
4687 }
4688 }
4690 var BgL_runzd2benchmarkzd2 = RunBenchmark;
4693 (function () { BgL_earleyzd2benchmarkzd2(); })();
4694 (function () { BgL_nboyerzd2benchmarkzd2(); })();
