1 // This file is automatically generated by scheme2js, except for the 2 // benchmark harness code at the beginning and end of the file. 3 4 var EarleyBoyer = new BenchmarkSuite('EarleyBoyer', 666463, [ 5 new Benchmark("Earley", function () { BgL_earleyzd2benchmarkzd2(); }), 6 new Benchmark("Boyer", function () { BgL_nboyerzd2benchmarkzd2(); }) 7 ]); 8 9 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; 34 35 } 36 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 */ 46 47 48 function sc_print_debug() { 49 sc_print.apply(null, arguments); 50 } 51 /*** META ((export *js*)) */ 52 var sc_JS_GLOBALS = this; 53 54 var __sc_LINE=-1; 55 var __sc_FILE=""; 56 57 /*** META ((export #t)) */ 58 function sc_alert() { 59 var len = arguments.length; 60 var s = ""; 61 var i; 62 63 for( i = 0; i < len; i++ ) { 64 s += sc_toDisplayString(arguments[ i ]); 65 } 66 67 return alert( s ); 68 } 69 70 /*** META ((export #t)) */ 71 function sc_typeof( x ) { 72 return typeof x; 73 } 74 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 } 83 84 /*** META ((export #t) 85 (peephole (prefix "throw "))) 86 */ 87 function sc_raise(obj) { 88 throw obj; 89 } 90 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 } 102 103 var sc_properties = new Object(); 104 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 } 114 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 } 126 127 /*** META ((export #t)) */ 128 function sc_rempropBang(sym, key) { 129 var ht = sc_properties[sym]; 130 if (ht) 131 delete ht[key]; 132 } 133 134 /*** META ((export #t)) */ 135 function sc_any2String(o) { 136 return jsstring2string(sc_toDisplayString(o)); 137 } 138 139 /*** META ((export #t) 140 (peephole (infix 2 2 "===")) 141 (type bool)) 142 */ 143 function sc_isEqv(o1, o2) { 144 return (o1 === o2); 145 } 146 147 /*** META ((export #t) 148 (peephole (infix 2 2 "===")) 149 (type bool)) 150 */ 151 function sc_isEq(o1, o2) { 152 return (o1 === o2); 153 } 154 155 /*** META ((export #t) 156 (type bool)) 157 */ 158 function sc_isNumber(n) { 159 return (typeof n === "number"); 160 } 161 162 /*** META ((export #t) 163 (type bool)) 164 */ 165 function sc_isComplex(n) { 166 return sc_isNumber(n); 167 } 168 169 /*** META ((export #t) 170 (type bool)) 171 */ 172 function sc_isReal(n) { 173 return sc_isNumber(n); 174 } 175 176 /*** META ((export #t) 177 (type bool)) 178 */ 179 function sc_isRational(n) { 180 return sc_isReal(n); 181 } 182 183 /*** META ((export #t) 184 (type bool)) 185 */ 186 function sc_isInteger(n) { 187 return (parseInt(n) === n); 188 } 189 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 } 198 199 /*** META ((export #t) 200 (peephole (postfix ", true")) 201 (type bool)) 202 */ 203 function sc_isInexact(n) { 204 return true; 205 } 206 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 } 217 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 } 230 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 } 243 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 } 256 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 } 269 270 /*** META ((export #t) 271 (type bool) 272 (peephole (postfix "=== 0"))) 273 */ 274 function sc_isZero(x) { 275 return (x === 0); 276 } 277 278 /*** META ((export #t) 279 (type bool) 280 (peephole (postfix "> 0"))) 281 */ 282 function sc_isPositive(x) { 283 return (x > 0); 284 } 285 286 /*** META ((export #t) 287 (type bool) 288 (peephole (postfix "< 0"))) 289 */ 290 function sc_isNegative(x) { 291 return (x < 0); 292 } 293 294 /*** META ((export #t) 295 (type bool) 296 (peephole (postfix "%2===1"))) 297 */ 298 function sc_isOdd(x) { 299 return (x % 2 === 1); 300 } 301 302 /*** META ((export #t) 303 (type bool) 304 (peephole (postfix "%2===0"))) 305 */ 306 function sc_isEven(x) { 307 return (x % 2 === 0); 308 } 309 310 /*** META ((export #t)) */ 311 var sc_max = Math.max; 312 /*** META ((export #t)) */ 313 var sc_min = Math.min; 314 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 } 324 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 } 334 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 } 348 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 } 362 363 /*** META ((export #t)) */ 364 var sc_abs = Math.abs; 365 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 } 372 373 /*** META ((export #t) 374 (peephole (infix 2 2 "%"))) 375 */ 376 function sc_remainder(x, y) { 377 return x % y; 378 } 379 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 } 391 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 } 407 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 } 415 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 } 425 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 // } 433 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 // } 438 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; 447 448 // LIMITATION: sc_rationalize doesn't make sense in a floating point world. 449 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; 466 467 /*** META ((export #t)) */ 468 var sc_sqrt = Math.sqrt; 469 /*** META ((export #t)) */ 470 var sc_expt = Math.pow; 471 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 476 477 /*** META ((export #t) 478 (peephole (id))) 479 */ 480 function sc_exact2inexact(x) { 481 return x; 482 } 483 484 /*** META ((export #t) 485 (peephole (id))) 486 */ 487 function sc_inexact2exact(x) { 488 return x; 489 } 490 491 function sc_number2jsstring(x, radix) { 492 if (radix) 493 return x.toString(radix); 494 else 495 return x.toString(); 496 } 497 498 function sc_jsstring2number(s, radix) { 499 if (s === "") return false; 500 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 } 520 521 /*** META ((export #t) 522 (type bool) 523 (peephole (not))) 524 */ 525 function sc_not(b) { 526 return b === false; 527 } 528 529 /*** META ((export #t) 530 (type bool)) 531 */ 532 function sc_isBoolean(b) { 533 return (b === true) || (b === false); 534 } 535 536 function sc_Pair(car, cdr) { 537 this.car = car; 538 this.cdr = cdr; 539 } 540 541 sc_Pair.prototype.toString = function() { 542 return sc_toDisplayString(this); 543 }; 544 sc_Pair.prototype.sc_toWriteOrDisplayString = function(writeOrDisplay) { 545 var current = this; 546 547 var res = "("; 548 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 } 560 561 res += ")"; 562 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 572 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 } 580 581 function sc_isPairEqual(p1, p2, comp) { 582 return (comp(p1.car, p2.car) && comp(p1.cdr, p2.cdr)); 583 } 584 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 } 591 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 } 599 600 /*** META ((export #t) 601 (peephole (postfix ".car"))) 602 */ 603 function sc_car(p) { 604 return p.car; 605 } 606 607 /*** META ((export #t) 608 (peephole (postfix ".cdr"))) 609 */ 610 function sc_cdr(p) { 611 return p.cdr; 612 } 613 614 /*** META ((export #t) 615 (peephole (hole 2 p ".car = " val))) 616 */ 617 function sc_setCarBang(p, val) { 618 p.car = val; 619 } 620 621 /*** META ((export #t) 622 (peephole (hole 2 p ".cdr = " val))) 623 */ 624 function sc_setCdrBang(p, val) { 625 p.cdr = val; 626 } 627 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; } 740 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 } 752 753 /*** META ((export #t) 754 (type bool) 755 (peephole (postfix " === null"))) 756 */ 757 function sc_isNull(o) { 758 return (o === null); 759 } 760 761 /*** META ((export #t) 762 (type bool)) 763 */ 764 function sc_isList(o) { 765 var rabbit; 766 var turtle; 767 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 } 783 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 } 792 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 } 801 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 } 809 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 } 819 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 } 833 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 } 854 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 } 868 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 } 889 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 } 900 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 } 907 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 } 917 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 } 926 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 } 934 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 } 944 945 /*** META ((export #t)) */ 946 function sc_reverseBang(l) { 947 return sc_reverseAppendBang(l, null); 948 } 949 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 } 958 959 /*** META ((export #t)) */ 960 function sc_listRef(l, k) { 961 return sc_listTail(l, k).car; 962 } 963 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 */ 977 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 } 1006 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 } 1048 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(); } 1065 1066 1067 1068 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", 1091 1092 /* poeticless names */ 1093 "\001": "#\\soh", 1094 "\002": "#\\stx", 1095 "\003": "#\\etx", 1096 "\004": "#\\eot", 1097 "\005": "#\\enq", 1098 "\006": "#\\ack", 1099 1100 "\013": "#\\vt", 1101 "\016": "#\\so", 1102 "\017": "#\\si", 1103 1104 "\020": "#\\dle", 1105 "\021": "#\\dc1", 1106 "\022": "#\\dc2", 1107 "\023": "#\\dc3", 1108 "\024": "#\\dc4", 1109 "\025": "#\\nak", 1110 "\026": "#\\syn", 1111 "\027": "#\\etb", 1112 1113 "\030": "#\\can", 1114 "\031": "#\\em", 1115 "\032": "#\\sub", 1116 "\033": "#\\esc", 1117 "\034": "#\\fs", 1118 "\035": "#\\gs", 1119 "\036": "#\\rs", 1120 "\037": "#\\us"}; 1121 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"}; 1166 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 }; 1178 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 } 1186 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; 1237 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'; 1242 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); } 1275 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)); } 1286 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()); } 1297 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 } 1315 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 } 1324 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 } 1331 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 } 1340 1341 var sc_Vector = Array; 1342 1343 sc_Vector.prototype.sc_toWriteOrDisplayString = function(writeOrDisplay) { 1344 if (this.length === 0) return "#()"; 1345 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 }; 1358 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 } 1366 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 } 1374 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 } 1382 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 } 1392 1393 /*** META ((export vector-length array-length) 1394 (peephole (postfix ".length"))) 1395 */ 1396 function sc_vectorLength(v) { 1397 return v.length; 1398 } 1399 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 } 1406 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 } 1413 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 } 1421 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 } 1431 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 } 1437 1438 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 } 1449 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 } 1456 1457 /*** META ((export #t)) */ 1458 function sc_vectorCopyBang(target, tstart, source, sstart, send) { 1459 if (!sstart) sstart = 0; 1460 if (!send) send = source.length; 1461 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 } 1477 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 } 1485 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 } 1499 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 } 1517 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 } 1536 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 } 1554 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 } 1568 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 } 1584 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 } 1604 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 } 1625 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 } 1636 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 } 1643 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 } 1655 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 } 1664 1665 /*** META ((export #t) 1666 (peephole (postfix "()"))) 1667 */ 1668 function sc_force(o) { 1669 return o(); 1670 } 1671 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 } 1687 1688 function sc_Values(values) { 1689 this.values = values; 1690 } 1691 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 } 1701 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 } 1710 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 } 1721 1722 1723 // TODO: eval/scheme-report-environment/null-environment/interaction-environment 1724 1725 // LIMITATION: 'load' doesn't exist without files. 1726 // LIMITATION: transcript-on/transcript-off doesn't exist without files. 1727 1728 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; 1736 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 } 1743 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 } 1751 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 } 1759 1760 /*** META ((export struct-field) 1761 (peephole (hole 3 0 "[" 2 "]"))) 1762 */ 1763 function sc_getStructField(s, name, field) { 1764 return s[field]; 1765 } 1766 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 } 1773 1774 /*** META ((export #t) 1775 (peephole (prefix "~"))) 1776 */ 1777 function sc_bitNot(x) { 1778 return ~x; 1779 } 1780 1781 /*** META ((export #t) 1782 (peephole (infix 2 2 "&"))) 1783 */ 1784 function sc_bitAnd(x, y) { 1785 return x & y; 1786 } 1787 1788 /*** META ((export #t) 1789 (peephole (infix 2 2 "|"))) 1790 */ 1791 function sc_bitOr(x, y) { 1792 return x | y; 1793 } 1794 1795 /*** META ((export #t) 1796 (peephole (infix 2 2 "^"))) 1797 */ 1798 function sc_bitXor(x, y) { 1799 return x ^ y; 1800 } 1801 1802 /*** META ((export #t) 1803 (peephole (infix 2 2 "<<"))) 1804 */ 1805 function sc_bitLsh(x, y) { 1806 return x << y; 1807 } 1808 1809 /*** META ((export #t) 1810 (peephole (infix 2 2 ">>"))) 1811 */ 1812 function sc_bitRsh(x, y) { 1813 return x >> y; 1814 } 1815 1816 /*** META ((export #t) 1817 (peephole (infix 2 2 ">>>"))) 1818 */ 1819 function sc_bitUrsh(x, y) { 1820 return x >>> y; 1821 } 1822 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 } 1829 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 } 1836 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 } 1843 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 } 1853 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 } 1863 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 } 1875 1876 // ======================== RegExp ==================== 1877 /*** META ((export #t)) */ 1878 function sc_pregexp(re) { 1879 return new RegExp(sc_string2jsstring(re)); 1880 } 1881 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)); 1886 1887 if (tmp == null) return false; 1888 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 } 1899 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); 1905 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 } 1914 1915 return jss1.replace(reg, jss2); 1916 } 1917 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); 1923 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 } 1932 1933 return jss1.replace(reg, jss2); 1934 } 1935 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); 1943 1944 if (tmp == null) return false; 1945 1946 return sc_vector2list(tmp); 1947 } 1948 1949 1950 /* =========================================================================== */ 1951 /* Other library stuff */ 1952 /* =========================================================================== */ 1953 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 } 1960 1961 /*** META ((export current-date) 1962 (peephole (hole 0 "new Date()"))) 1963 */ 1964 function sc_currentDate() { 1965 return new Date(); 1966 } 1967 1968 function sc_Hashtable() { 1969 } 1970 sc_Hashtable.prototype.toString = function() { 1971 return "#{%hashtable}"; 1972 }; 1973 // sc_toWriteString == sc_toDisplayString == toString 1974 1975 function sc_HashtableElement(key, val) { 1976 this.key = key; 1977 this.val = val; 1978 } 1979 1980 /*** META ((export #t) 1981 (peephole (hole 0 "new sc_Hashtable()"))) 1982 */ 1983 function sc_makeHashtable() { 1984 return new sc_Hashtable(); 1985 } 1986 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 } 1992 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 } 2001 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 } 2009 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 } 2020 2021 var SC_HASH_COUNTER = 0; 2022 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 } 2048 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 } 2068 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 } 2088 2089 var SC_SCM2JS_GLOBALS = new Object(); 2090 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 ======================= 2096 2097 /*------------------------------------------------------------------*/ 2098 2099 function sc_EOF() { 2100 } 2101 var SC_EOF_OBJECT = new sc_EOF(); 2102 2103 function sc_Port() { 2104 } 2105 2106 /* --------------- Input ports -------------------------------------*/ 2107 2108 function sc_InputPort() { 2109 } 2110 sc_InputPort.prototype = new sc_Port(); 2111 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 } 2128 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 }; 2139 2140 2141 /* .............. String port ..........................*/ 2142 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 }; 2156 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*/; 2184 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; 2203 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 }; 2217 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 }; 2283 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 }; 2302 2303 function readDot() { 2304 if (isWhitespace(port.peekChar())) 2305 return new sc_Token(10/*DOT*/); 2306 else 2307 return readIdOrNumber("."); 2308 }; 2309 2310 function readSharp() { 2311 var c = port.readChar(); 2312 if (isWhitespace(c)) 2313 return new sc_Token(13/*ERROR*/, "bad #-pattern0."); 2314 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 } 2329 2330 if (c === "(") 2331 return new sc_Token(14/*VECTOR_BEGIN*/); 2332 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 } 2353 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 } 2377 2378 }; 2379 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 }; 2416 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; 2429 2430 while (true) { 2431 var token = tokenizer.peekToken(); 2432 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; 2443 2444 case 0/*EOF*/: 2445 throw "unexpected end of file"; 2446 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); 2456 2457 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; 2475 2476 default: 2477 a.push(this.read()); 2478 } 2479 } 2480 }; 2481 2482 function storeRefence(nb) { 2483 var tmp = this.read(); 2484 this.backref[nb] = tmp; 2485 return tmp; 2486 }; 2487 2488 function readReference(nb) { 2489 if (nb in this.backref) 2490 return this.backref[nb]; 2491 else 2492 throw "bad reference: " + nb; 2493 }; 2494 2495 var tokenizer = this.tokenizer; 2496 2497 var token = tokenizer.readToken(); 2498 2499 // handle error 2500 if (token.type === 13/*ERROR*/) 2501 throw token.val; 2502 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 }; 2532 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 } 2568 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 } 2576 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 } 2584 2585 /*** META ((export #t) 2586 (peephole (hole 0 "SC_DEFAULT_IN"))) 2587 */ 2588 function sc_currentInputPort() { 2589 return SC_DEFAULT_IN; 2590 } 2591 2592 /* ------------ file operations are not supported -----------*/ 2593 /*** META ((export #t)) */ 2594 function sc_callWithInputFile(s, proc) { 2595 throw "can't open " + s; 2596 } 2597 2598 /*** META ((export #t)) */ 2599 function sc_callWithOutputFile(s, proc) { 2600 throw "can't open " + s; 2601 } 2602 2603 /*** META ((export #t)) */ 2604 function sc_withInputFromFile(s, thunk) { 2605 throw "can't open " + s; 2606 } 2607 2608 /*** META ((export #t)) */ 2609 function sc_withOutputToFile(s, thunk) { 2610 throw "can't open " + s; 2611 } 2612 2613 /*** META ((export #t)) */ 2614 function sc_openInputFile(s) { 2615 throw "can't open " + s; 2616 } 2617 2618 /*** META ((export #t)) */ 2619 function sc_openOutputFile(s) { 2620 throw "can't open " + s; 2621 } 2622 2623 /* ----------------------------------------------------------------------------*/ 2624 /*** META ((export #t)) */ 2625 function sc_basename(p) { 2626 var i = p.lastIndexOf('/'); 2627 2628 if(i >= 0) 2629 return p.substring(i + 1, p.length); 2630 else 2631 return ''; 2632 } 2633 2634 /*** META ((export #t)) */ 2635 function sc_dirname(p) { 2636 var i = p.lastIndexOf('/'); 2637 2638 if(i >= 0) 2639 return p.substring(0, i); 2640 else 2641 return ''; 2642 } 2643 2644 /* ----------------------------------------------------------------------------*/ 2645 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 } 2656 2657 /*** META ((export #t)) */ 2658 function sc_withInputFromString(s, thunk) { 2659 return sc_withInputFromPort(new sc_StringInputPort(sc_string2jsstring(s)), thunk); 2660 } 2661 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 } 2672 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 } 2679 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 } 2685 2686 /*** META ((export #t) 2687 (peephole (hole 0 "new sc_StringOutputPort()"))) 2688 */ 2689 function sc_openOutputString() { 2690 return new sc_StringOutputPort(); 2691 } 2692 2693 /*** META ((export #t)) */ 2694 function sc_openInputString(str) { 2695 return new sc_StringInputPort(sc_string2jsstring(str)); 2696 } 2697 2698 /* ----------------------------------------------------------------------------*/ 2699 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 } 2709 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 } 2720 2721 /*** META ((export #t)) */ 2722 function sc_getOutputString(sp) { 2723 return sc_jsstring2string(sp.res); 2724 } 2725 2726 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 } 2736 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(); 2743 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 } 2751 2752 /*** META ((export #t) 2753 (peephole (postfix ".close()"))) 2754 */ 2755 function sc_closeOutputPort(p) { 2756 return p.close(); 2757 } 2758 2759 /* ------------------ write ---------------------------------------------------*/ 2760 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 } 2767 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 } 2784 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 } 2820 2821 /* ------------------ display ---------------------------------------------------*/ 2822 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 } 2829 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 } 2846 2847 /* ------------------ newline ---------------------------------------------------*/ 2848 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 } 2855 2856 /* ------------------ write-char ---------------------------------------------------*/ 2857 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 } 2864 2865 /* ------------------ write-circle ---------------------------------------------------*/ 2866 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 } 2873 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 } 2881 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 } 2903 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 } 2928 2929 var res = ""; 2930 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 } 2939 2940 if (!inList) 2941 res += "("; 2942 2943 // print car 2944 res += sc_genToWriteCircleString(this.car, symb); 2945 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 } 2970 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 }; 2984 2985 2986 /* ------------------ print ---------------------------------------------------*/ 2987 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 } 3000 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; 3007 3008 while( i < len ) { 3009 var i2 = s.indexOf("~", i); 3010 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 } 3024 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; 3032 3033 case 83: 3034 case 115: 3035 // s 3036 sc_write(arguments[j], p); 3037 i += 2; j++; 3038 break; 3039 3040 case 86: 3041 case 118: 3042 // v 3043 sc_display(arguments[j], p); 3044 p.appendJSString("\n"); 3045 i += 2; j++; 3046 break; 3047 3048 case 67: 3049 case 99: 3050 // c 3051 p.appendJSString(String.fromCharCode(arguments[j])); 3052 i += 2; j++; 3053 break; 3054 3055 case 88: 3056 case 120: 3057 // x 3058 p.appendJSString(arguments[j].toString(6)); 3059 i += 2; j++; 3060 break; 3061 3062 case 79: 3063 case 111: 3064 // o 3065 p.appendJSString(arguments[j].toString(8)); 3066 i += 2; j++; 3067 break; 3068 3069 case 66: 3070 case 98: 3071 // b 3072 p.appendJSString(arguments[j].toString(2)); 3073 i += 2; j++; 3074 break; 3075 3076 case 37: 3077 case 110: 3078 // %, n 3079 p.appendJSString("\n"); 3080 i += 2; break; 3081 3082 case 114: 3083 // r 3084 p.appendJSString("\r"); 3085 i += 2; break; 3086 3087 case 126: 3088 // ~ 3089 p.appendJSString("~"); 3090 i += 2; break; 3091 3092 default: 3093 sc_error( "format: illegal ~" 3094 + String.fromCharCode(s.charCodeAt(i2 + 1)) 3095 + " sequence" ); 3096 return ""; 3097 } 3098 } 3099 } 3100 3101 return p.close(); 3102 } 3103 3104 /* ------------------ global ports ---------------------------------------------------*/ 3105 3106 var SC_DEFAULT_IN = new sc_ErrorInputPort(); 3107 var SC_DEFAULT_OUT = new sc_ErrorOutputPort(); 3108 var SC_ERROR_OUT = new sc_ErrorOutputPort(); 3109 3110 var sc_SYMBOL_PREFIX = "\u1E9C"; 3111 var sc_KEYWORD_PREFIX = "\u1E9D"; 3112 3113 /*** META ((export #t) 3114 (peephole (id))) */ 3115 function sc_jsstring2string(s) { 3116 return s; 3117 } 3118 3119 /*** META ((export #t) 3120 (peephole (prefix "'\\u1E9C' +"))) 3121 */ 3122 function sc_jsstring2symbol(s) { 3123 return sc_SYMBOL_PREFIX + s; 3124 } 3125 3126 /*** META ((export #t) 3127 (peephole (id))) 3128 */ 3129 function sc_string2jsstring(s) { 3130 return s; 3131 } 3132 3133 /*** META ((export #t) 3134 (peephole (symbol2jsstring_immutable))) 3135 */ 3136 function sc_symbol2jsstring(s) { 3137 return s.slice(1); 3138 } 3139 3140 /*** META ((export #t) 3141 (peephole (postfix ".slice(1)"))) 3142 */ 3143 function sc_keyword2jsstring(k) { 3144 return k.slice(1); 3145 } 3146 3147 /*** META ((export #t) 3148 (peephole (prefix "'\\u1E9D' +"))) 3149 */ 3150 function sc_jsstring2keyword(s) { 3151 return sc_KEYWORD_PREFIX + s; 3152 } 3153 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 } 3161 3162 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 }(); 3172 3173 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 } 3184 3185 /*** META ((export number->symbol integer->symbol)) */ 3186 function sc_number2symbol(x, radix) { 3187 return sc_SYMBOL_PREFIX + sc_number2jsstring(x, radix); 3188 } 3189 3190 /*** META ((export number->string integer->string)) */ 3191 var sc_number2string = sc_number2jsstring; 3192 3193 /*** META ((export #t)) */ 3194 function sc_symbol2number(s, radix) { 3195 return sc_jsstring2number(s.slice(1), radix); 3196 } 3197 3198 /*** META ((export #t)) */ 3199 var sc_string2number = sc_jsstring2number; 3200 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 } 3209 3210 /*** META ((export #t) 3211 (peephole (prefix "+"))) 3212 */ 3213 function sc_string2real(s) { 3214 return +s; 3215 } 3216 3217 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 } 3225 3226 /*** META ((export #t) 3227 (peephole (symbol2string_immutable))) 3228 */ 3229 function sc_symbol2string(s) { 3230 return s.slice(1); 3231 } 3232 3233 /*** META ((export #t) 3234 (peephole (prefix "'\\u1E9C' +"))) 3235 */ 3236 function sc_string2symbol(s) { 3237 return sc_SYMBOL_PREFIX + s; 3238 } 3239 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 } 3249 3250 /*** META ((export #t) 3251 (peephole (postfix ".val"))) 3252 */ 3253 function sc_char2string(c) { return c.val; } 3254 3255 /*** META ((export #t) 3256 (peephole (hole 1 "'\\u1E9C' + " c ".val"))) 3257 */ 3258 function sc_char2symbol(c) { return sc_SYMBOL_PREFIX + c.val; } 3259 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 } 3267 3268 /*** META ((export #t)) */ 3269 var sc_makeString = sc_makejsString; 3270 3271 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 } 3278 3279 /*** META ((export #t) 3280 (peephole (postfix ".length"))) 3281 */ 3282 function sc_stringLength(s) { return s.length; } 3283 3284 /*** META ((export #t)) */ 3285 function sc_stringRef(s, k) { 3286 return new sc_Char(s.charAt(k)); 3287 } 3288 3289 /* there's no stringSet in the immutable version 3290 function sc_stringSet(s, k, c) 3291 */ 3292 3293 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 } 3364 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 } 3371 3372 /*** META ((export #t)) 3373 */ 3374 function sc_isSubstring_at(s1, s2, i) { 3375 return s2 == s1.substring(i, i+ s2.length); 3376 } 3377 3378 /*** META ((export #t) 3379 (peephole (infix 0 #f "+" "''"))) 3380 */ 3381 function sc_stringAppend() { 3382 return "".concat.apply("", arguments); 3383 } 3384 3385 /*** META ((export #t)) */ 3386 var sc_string2list = sc_jsstring2list; 3387 3388 /*** META ((export #t)) */ 3389 var sc_list2string = sc_list2jsstring; 3390 3391 /*** META ((export #t) 3392 (peephole (id))) 3393 */ 3394 function sc_stringCopy(s) { 3395 return s; 3396 } 3397 3398 /* there's no string-fill in the immutable version 3399 function sc_stringFill(s, c) 3400 */ 3401 3402 /*** META ((export #t) 3403 (peephole (postfix ".slice(1)"))) 3404 */ 3405 function sc_keyword2string(o) { 3406 return o.slice(1); 3407 } 3408 3409 /*** META ((export #t) 3410 (peephole (prefix "'\\u1E9D' +"))) 3411 */ 3412 function sc_string2keyword(o) { 3413 return sc_KEYWORD_PREFIX + o; 3414 } 3415 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 }; 3425 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 */ 3440 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 return (rewrites===(95024)); 3481 break; 3482 case (1): 3483 return (rewrites===(591777)); 3484 break; 3485 case (2): 3486 return (rewrites===(1813975)); 3487 break; 3488 case (3): 3489 return (rewrites===(5375678)); 3490 break; 3491 case (4): 3492 return (rewrites===(16445406)); 3493 break; 3494 case (5): 3495 return (rewrites===(51507739)); 3496 break; 3497 default: 3498 return true; 3499 break; 3500 } 3501 else 3502 return false; 3503 }))); 3504 }; 3505 BgL_setupzd2boyerzd2 = function() { 3506 return true; 3507 }; 3508 BgL_testzd2boyerzd2 = function() { 3509 return true; 3510 }; 3511 translate_term_nboyer = function(term) { 3512 var lst; 3513 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)))))))))); 3514 }; 3515 translate_args_nboyer = function(lst) { 3516 var sc_lst_5; 3517 var term; 3518 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)))))))))); 3519 }; 3520 untranslate_term_nboyer = function(term) { 3521 var optrOpnd; 3522 var tail1131; 3523 var L1127; 3524 var falseHead1130; 3525 var symbol_record; 3526 if (!(term instanceof sc_Pair)) 3527 return term; 3528 else 3529 { 3530 (falseHead1130 = (new sc_Pair(null, null))); 3531 (L1127 = (term.cdr)); 3532 (tail1131 = falseHead1130); 3533 while (!(L1127 === null)) { 3534 { 3535 (tail1131.cdr = (new sc_Pair((untranslate_term_nboyer((L1127.car))), null))); 3536 (tail1131 = (tail1131.cdr)); 3537 (L1127 = (L1127.cdr)); 3538 } 3539 } 3540 (optrOpnd = (falseHead1130.cdr)); 3541 return (new sc_Pair(((symbol_record = (term.car)), (symbol_record[(0)])), optrOpnd)); 3542 } 3543 }; 3544 BgL_sc_symbolzd2ze3symbolzd2record_1ze3_nboyer = function(sym) { 3545 var r; 3546 var x; 3547 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))); 3548 }; 3549 (BgL_sc_za2symbolzd2recordszd2alistza2_2z00_nboyer = null); 3550 translate_alist_nboyer = function(alist) { 3551 var sc_alist_6; 3552 var term; 3553 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)))))))))); 3554 }; 3555 apply_subst_nboyer = function(alist, term) { 3556 var lst; 3557 var temp_temp; 3558 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)))))))))); 3559 }; 3560 apply_subst_lst_nboyer = function(alist, lst) { 3561 var sc_lst_7; 3562 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)))))))))); 3563 }; 3564 tautologyp_nboyer = function(sc_x_11, true_lst, false_lst) { 3565 var tmp1125; 3566 var x; 3567 var tmp1126; 3568 var sc_x_8; 3569 var sc_tmp1125_9; 3570 var sc_tmp1126_10; 3571 var sc_x_11; 3572 var true_lst; 3573 var false_lst; 3574 while (true) { 3575 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)) 3576 return true; 3577 else 3578 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)) 3579 return false; 3580 else 3581 if (!(sc_x_11 instanceof sc_Pair)) 3582 return false; 3583 else 3584 if (((sc_x_11.car)===if_constructor_nboyer)) 3585 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)) 3586 (sc_x_11 = (sc_x_11.cdr.cdr.car)); 3587 else 3588 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)) 3589 (sc_x_11 = (sc_x_11.cdr.cdr.cdr.car)); 3590 else 3591 if (((tautologyp_nboyer((sc_x_11.cdr.cdr.car), (new sc_Pair((sc_x_11.cdr.car), true_lst)), false_lst))!== false)) 3592 { 3593 (false_lst = (new sc_Pair((sc_x_11.cdr.car), false_lst))); 3594 (sc_x_11 = (sc_x_11.cdr.cdr.cdr.car)); 3595 } 3596 else 3597 return false; 3598 else 3599 return false; 3600 } 3601 }; 3602 (if_constructor_nboyer = "\u1E9C*"); 3603 (rewrite_count_nboyer = (0)); 3604 rewrite_nboyer = function(term) { 3605 var term2; 3606 var sc_term_12; 3607 var lst; 3608 var symbol_record; 3609 var sc_lst_13; 3610 { 3611 (++rewrite_count_nboyer); 3612 if (!(term instanceof sc_Pair)) 3613 return term; 3614 else 3615 { 3616 (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)))))))))); 3617 (lst = ((symbol_record = (term.car)), (symbol_record[(1)]))); 3618 while (true) { 3619 if ((lst === null)) 3620 return sc_term_12; 3621 else 3622 if ((((term2 = ((lst.car).cdr.car)), (unify_subst_nboyer = null), (one_way_unify1_nboyer(sc_term_12, term2)))!== false)) 3623 return (rewrite_nboyer((apply_subst_nboyer(unify_subst_nboyer, ((lst.car).cdr.cdr.car))))); 3624 else 3625 (lst = (lst.cdr)); 3626 } 3627 } 3628 } 3629 }; 3630 rewrite_args_nboyer = function(lst) { 3631 var sc_lst_14; 3632 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)))))))))); 3633 }; 3634 (unify_subst_nboyer = "\u1E9C*"); 3635 one_way_unify1_nboyer = function(term1, term2) { 3636 var lst1; 3637 var lst2; 3638 var temp_temp; 3639 if (!(term2 instanceof sc_Pair)) 3640 { 3641 (temp_temp = (sc_assq(term2, unify_subst_nboyer))); 3642 if ((temp_temp!== false)) 3643 return (is_term_equal_nboyer(term1, (temp_temp.cdr))); 3644 else 3645 if ((sc_isNumber(term2))) 3646 return (sc_isEqual(term1, term2)); 3647 else 3648 { 3649 (unify_subst_nboyer = (new sc_Pair((new sc_Pair(term2, term1)), unify_subst_nboyer))); 3650 return true; 3651 } 3652 } 3653 else 3654 if (!(term1 instanceof sc_Pair)) 3655 return false; 3656 else 3657 if (((term1.car)===(term2.car))) 3658 { 3659 (lst1 = (term1.cdr)); 3660 (lst2 = (term2.cdr)); 3661 while (true) { 3662 if ((lst1 === null)) 3663 return (lst2 === null); 3664 else 3665 if ((lst2 === null)) 3666 return false; 3667 else 3668 if (((one_way_unify1_nboyer((lst1.car), (lst2.car)))!== false)) 3669 { 3670 (lst1 = (lst1.cdr)); 3671 (lst2 = (lst2.cdr)); 3672 } 3673 else 3674 return false; 3675 } 3676 } 3677 else 3678 return false; 3679 }; 3680 (false_term_nboyer = "\u1E9C*"); 3681 (true_term_nboyer = "\u1E9C*"); 3682 trans_of_implies1_nboyer = function(n) { 3683 var sc_n_15; 3684 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))))))))))); 3685 }; 3686 is_term_equal_nboyer = function(x, y) { 3687 var lst1; 3688 var lst2; 3689 var r2; 3690 var r1; 3691 if ((x instanceof sc_Pair)) 3692 if ((y instanceof sc_Pair)) 3693 if ((((r1 = (x.car)), (r2 = (y.car)), (r1===r2))!== false)) 3694 { 3695 (lst1 = (x.cdr)); 3696 (lst2 = (y.cdr)); 3697 while (true) { 3698 if ((lst1 === null)) 3699 return (lst2 === null); 3700 else 3701 if ((lst2 === null)) 3702 return false; 3703 else 3704 if (((is_term_equal_nboyer((lst1.car), (lst2.car)))!== false)) 3705 { 3706 (lst1 = (lst1.cdr)); 3707 (lst2 = (lst2.cdr)); 3708 } 3709 else 3710 return false; 3711 } 3712 } 3713 else 3714 return false; 3715 else 3716 return false; 3717 else 3718 return (sc_isEqual(x, y)); 3719 }; 3720 is_term_member_nboyer = function(x, lst) { 3721 var x; 3722 var lst; 3723 while (true) { 3724 if ((lst === null)) 3725 return false; 3726 else 3727 if (((is_term_equal_nboyer(x, (lst.car)))!== false)) 3728 return true; 3729 else 3730 (lst = (lst.cdr)); 3731 } 3732 }; 3733 BgL_setupzd2boyerzd2 = function() { 3734 var symbol_record; 3735 var value; 3736 var BgL_sc_symbolzd2record_16zd2; 3737 var sym; 3738 var sc_sym_17; 3739 var term; 3740 var lst; 3741 var sc_term_18; 3742 var sc_term_19; 3743 { 3744 (BgL_sc_za2symbolzd2recordszd2alistza2_2z00_nboyer = null); 3745 (if_constructor_nboyer = (BgL_sc_symbolzd2ze3symbolzd2record_1ze3_nboyer("\u1E9Cif"))); 3746 (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)))))))); 3747 (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)))))))); 3748 (lst = sc_const_3_nboyer); 3749 while (!(lst === null)) { 3750 { 3751 (term = (lst.car)); 3752 if (((term instanceof sc_Pair)&&(((term.car)==="\u1E9Cequal")&&((term.cdr.car) instanceof sc_Pair)))) 3753 { 3754 (sc_sym_17 = ((term.cdr.car).car)); 3755 (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)]))))); 3756 (symbol_record = (BgL_sc_symbolzd2ze3symbolzd2record_1ze3_nboyer(sc_sym_17))); 3757 (symbol_record[(1)] = value); 3758 } 3759 else 3760 (sc_error("ADD-LEMMA did not like term: ", term)); 3761 (lst = (lst.cdr)); 3762 } 3763 } 3764 return true; 3765 } 3766 }; 3767 BgL_testzd2boyerzd2 = function(n) { 3768 var optrOpnd; 3769 var term; 3770 var sc_n_20; 3771 var answer; 3772 var sc_term_21; 3773 var sc_term_22; 3774 { 3775 (rewrite_count_nboyer = (0)); 3776 (term = sc_const_4_nboyer); 3777 (sc_n_20 = n); 3778 while (!(sc_n_20=== 0)) { 3779 { 3780 (term = (sc_list("\u1E9Cor", term, (new sc_Pair("\u1E9Cf",null))))); 3781 (--sc_n_20); 3782 } 3783 } 3784 (sc_term_22 = term); 3785 if (!(sc_term_22 instanceof sc_Pair)) 3786 (optrOpnd = sc_term_22); 3787 else 3788 (optrOpnd = (new sc_Pair((BgL_sc_symbolzd2ze3symbolzd2record_1ze3_nboyer((sc_term_22.car))), (translate_args_nboyer((sc_term_22.cdr)))))); 3789 (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))); 3790 (answer = (tautologyp_nboyer((rewrite_nboyer(sc_term_21)), null, null))); 3791 (sc_write(rewrite_count_nboyer)); 3792 (sc_display(" rewrites")); 3793 (sc_newline()); 3794 if ((answer!== false)) 3795 return rewrite_count_nboyer; 3796 else 3797 return false; 3798 } 3799 }; 3800 } 3801 /* Exported Variables */ 3802 var BgL_parsezd2ze3nbzd2treesze3; 3803 var BgL_earleyzd2benchmarkzd2; 3804 var BgL_parsezd2ze3parsedzf3zc2; 3805 var test; 3806 var BgL_parsezd2ze3treesz31; 3807 var BgL_makezd2parserzd2; 3808 /* End Exports */ 3809 3810 var const_earley; 3811 { 3812 (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))); 3813 BgL_makezd2parserzd2 = function(grammar, lexer) { 3814 var i; 3815 var parser_descr; 3816 var def_loop; 3817 var nb_nts; 3818 var names; 3819 var steps; 3820 var predictors; 3821 var enders; 3822 var starters; 3823 var nts; 3824 var sc_names_1; 3825 var sc_steps_2; 3826 var sc_predictors_3; 3827 var sc_enders_4; 3828 var sc_starters_5; 3829 var nb_confs; 3830 var BgL_sc_defzd2loop_6zd2; 3831 var BgL_sc_nbzd2nts_7zd2; 3832 var sc_nts_8; 3833 var BgL_sc_defzd2loop_9zd2; 3834 var ind; 3835 { 3836 ind = function(nt, sc_nts_10) { 3837 var i; 3838 { 3839 (i = ((sc_nts_10.length)-(1))); 3840 while (true) { 3841 if ((i>=(0))) 3842 if ((sc_isEqual((sc_nts_10[i]), nt))) 3843 return i; 3844 else 3845 (--i); 3846 else 3847 return false; 3848 } 3849 } 3850 }; 3851 (sc_nts_8 = ((BgL_sc_defzd2loop_9zd2 = function(defs, sc_nts_11) { 3852 var rule_loop; 3853 var head; 3854 var def; 3855 return ((defs instanceof sc_Pair)?((def = (defs.car)), (head = (def.car)), (rule_loop = function(rules, sc_nts_12) { 3856 var nt; 3857 var l; 3858 var sc_nts_13; 3859 var rule; 3860 if ((rules instanceof sc_Pair)) 3861 { 3862 (rule = (rules.car)); 3863 (l = rule); 3864 (sc_nts_13 = sc_nts_12); 3865 while ((l instanceof sc_Pair)) { 3866 { 3867 (nt = (l.car)); 3868 (l = (l.cdr)); 3869 (sc_nts_13 = (((sc_member(nt, sc_nts_13))!== false)?sc_nts_13:(new sc_Pair(nt, sc_nts_13)))); 3870 } 3871 } 3872 return (rule_loop((rules.cdr), sc_nts_13)); 3873 } 3874 else 3875 return (BgL_sc_defzd2loop_9zd2((defs.cdr), sc_nts_12)); 3876 }), (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))))); 3877 }), (BgL_sc_defzd2loop_9zd2(grammar, null)))); 3878 (BgL_sc_nbzd2nts_7zd2 = (sc_nts_8.length)); 3879 (nb_confs = (((BgL_sc_defzd2loop_6zd2 = function(defs, BgL_sc_nbzd2confs_14zd2) { 3880 var rule_loop; 3881 var def; 3882 return ((defs instanceof sc_Pair)?((def = (defs.car)), (rule_loop = function(rules, BgL_sc_nbzd2confs_15zd2) { 3883 var l; 3884 var BgL_sc_nbzd2confs_16zd2; 3885 var rule; 3886 if ((rules instanceof sc_Pair)) 3887 { 3888 (rule = (rules.car)); 3889 (l = rule); 3890 (BgL_sc_nbzd2confs_16zd2 = BgL_sc_nbzd2confs_15zd2); 3891 while ((l instanceof sc_Pair)) { 3892 { 3893 (l = (l.cdr)); 3894 (++BgL_sc_nbzd2confs_16zd2); 3895 } 3896 } 3897 return (rule_loop((rules.cdr), (BgL_sc_nbzd2confs_16zd2+(1)))); 3898 } 3899 else 3900 return (BgL_sc_defzd2loop_6zd2((defs.cdr), BgL_sc_nbzd2confs_15zd2)); 3901 }), (rule_loop((def.cdr), BgL_sc_nbzd2confs_14zd2))):BgL_sc_nbzd2confs_14zd2); 3902 }), (BgL_sc_defzd2loop_6zd2(grammar, (0))))+BgL_sc_nbzd2nts_7zd2)); 3903 (sc_starters_5 = (sc_makeVector(BgL_sc_nbzd2nts_7zd2, null))); 3904 (sc_enders_4 = (sc_makeVector(BgL_sc_nbzd2nts_7zd2, null))); 3905 (sc_predictors_3 = (sc_makeVector(BgL_sc_nbzd2nts_7zd2, null))); 3906 (sc_steps_2 = (sc_makeVector(nb_confs, false))); 3907 (sc_names_1 = (sc_makeVector(nb_confs, false))); 3908 (nts = sc_nts_8); 3909 (starters = sc_starters_5); 3910 (enders = sc_enders_4); 3911 (predictors = sc_predictors_3); 3912 (steps = sc_steps_2); 3913 (names = sc_names_1); 3914 (nb_nts = (sc_nts_8.length)); 3915 (i = (nb_nts-(1))); 3916 while ((i>=(0))) { 3917 { 3918 (sc_steps_2[i] = (i-nb_nts)); 3919 (sc_names_1[i] = (sc_list((sc_nts_8[i]), (0)))); 3920 (sc_enders_4[i] = (sc_list(i))); 3921 (--i); 3922 } 3923 } 3924 def_loop = function(defs, conf) { 3925 var rule_loop; 3926 var head; 3927 var def; 3928 return ((defs instanceof sc_Pair)?((def = (defs.car)), (head = (def.car)), (rule_loop = function(rules, conf, rule_num) { 3929 var i; 3930 var sc_i_17; 3931 var nt; 3932 var l; 3933 var sc_conf_18; 3934 var sc_i_19; 3935 var rule; 3936 if ((rules instanceof sc_Pair)) 3937 { 3938 (rule = (rules.car)); 3939 (names[conf] = (sc_list(head, rule_num))); 3940 (sc_i_19 = (ind(head, nts))); 3941 (starters[sc_i_19] = (new sc_Pair(conf, (starters[sc_i_19])))); 3942 (l = rule); 3943 (sc_conf_18 = conf); 3944 while ((l instanceof sc_Pair)) { 3945 { 3946 (nt = (l.car)); 3947 (steps[sc_conf_18] = (ind(nt, nts))); 3948 (sc_i_17 = (ind(nt, nts))); 3949 (predictors[sc_i_17] = (new sc_Pair(sc_conf_18, (predictors[sc_i_17])))); 3950 (l = (l.cdr)); 3951 (++sc_conf_18); 3952 } 3953 } 3954 (steps[sc_conf_18] = ((ind(head, nts))-nb_nts)); 3955 (i = (ind(head, nts))); 3956 (enders[i] = (new sc_Pair(sc_conf_18, (enders[i])))); 3957 return (rule_loop((rules.cdr), (sc_conf_18+(1)), (rule_num+(1)))); 3958 } 3959 else 3960 return (def_loop((defs.cdr), conf)); 3961 }), (rule_loop((def.cdr), conf, (1)))):undefined); 3962 }; 3963 (def_loop(grammar, (sc_nts_8.length))); 3964 (parser_descr = [lexer, sc_nts_8, sc_starters_5, sc_enders_4, sc_predictors_3, sc_steps_2, sc_names_1]); 3965 return function(input) { 3966 var optrOpnd; 3967 var sc_optrOpnd_20; 3968 var sc_optrOpnd_21; 3969 var sc_optrOpnd_22; 3970 var loop1; 3971 var BgL_sc_stateza2_23za2; 3972 var toks; 3973 var BgL_sc_nbzd2nts_24zd2; 3974 var sc_steps_25; 3975 var sc_enders_26; 3976 var state_num; 3977 var BgL_sc_statesza2_27za2; 3978 var states; 3979 var i; 3980 var conf; 3981 var l; 3982 var tok_nts; 3983 var sc_i_28; 3984 var sc_i_29; 3985 var l1; 3986 var l2; 3987 var tok; 3988 var tail1129; 3989 var L1125; 3990 var goal_enders; 3991 var BgL_sc_statesza2_30za2; 3992 var BgL_sc_nbzd2nts_31zd2; 3993 var BgL_sc_nbzd2confs_32zd2; 3994 var nb_toks; 3995 var goal_starters; 3996 var sc_states_33; 3997 var BgL_sc_nbzd2confs_34zd2; 3998 var BgL_sc_nbzd2toks_35zd2; 3999 var sc_toks_36; 4000 var falseHead1128; 4001 var sc_names_37; 4002 var sc_steps_38; 4003 var sc_predictors_39; 4004 var sc_enders_40; 4005 var sc_starters_41; 4006 var sc_nts_42; 4007 var lexer; 4008 var sc_ind_43; 4009 var make_states; 4010 var BgL_sc_confzd2setzd2getza2_44za2; 4011 var conf_set_merge_new_bang; 4012 var conf_set_adjoin; 4013 var BgL_sc_confzd2setzd2adjoinza2_45za2; 4014 var BgL_sc_confzd2setzd2adjoinza2za2_46z00; 4015 var conf_set_union; 4016 var forw; 4017 var is_parsed; 4018 var deriv_trees; 4019 var BgL_sc_derivzd2treesza2_47z70; 4020 var nb_deriv_trees; 4021 var BgL_sc_nbzd2derivzd2treesza2_48za2; 4022 { 4023 sc_ind_43 = function(nt, sc_nts_49) { 4024 var i; 4025 { 4026 (i = ((sc_nts_49.length)-(1))); 4027 while (true) { 4028 if ((i>=(0))) 4029 if ((sc_isEqual((sc_nts_49[i]), nt))) 4030 return i; 4031 else 4032 (--i); 4033 else 4034 return false; 4035 } 4036 } 4037 }; 4038 make_states = function(BgL_sc_nbzd2toks_50zd2, BgL_sc_nbzd2confs_51zd2) { 4039 var v; 4040 var i; 4041 var sc_states_52; 4042 { 4043 (sc_states_52 = (sc_makeVector((BgL_sc_nbzd2toks_50zd2+(1)), false))); 4044 (i = BgL_sc_nbzd2toks_50zd2); 4045 while ((i>=(0))) { 4046 { 4047 (v = (sc_makeVector((BgL_sc_nbzd2confs_51zd2+(1)), false))); 4048 (v[(0)] = (-1)); 4049 (sc_states_52[i] = v); 4050 (--i); 4051 } 4052 } 4053 return sc_states_52; 4054 } 4055 }; 4056 BgL_sc_confzd2setzd2getza2_44za2 = function(state, BgL_sc_statezd2num_53zd2, sc_conf_54) { 4057 var conf_set; 4058 var BgL_sc_confzd2set_55zd2; 4059 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))); 4060 }; 4061 conf_set_merge_new_bang = function(conf_set) { 4062 return ((conf_set[((conf_set[(1)])+(5))] = (conf_set[(4)])), (conf_set[(1)] = (conf_set[(3)])), (conf_set[(3)] = (-1)), (conf_set[(4)] = (-1))); 4063 }; 4064 conf_set_adjoin = function(state, conf_set, sc_conf_56, i) { 4065 var tail; 4066 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)); 4067 }; 4068 BgL_sc_confzd2setzd2adjoinza2_45za2 = function(sc_states_57, BgL_sc_statezd2num_58zd2, l, i) { 4069 var conf_set; 4070 var sc_conf_59; 4071 var l1; 4072 var state; 4073 { 4074 (state = (sc_states_57[BgL_sc_statezd2num_58zd2])); 4075 (l1 = l); 4076 while ((l1 instanceof sc_Pair)) { 4077 { 4078 (sc_conf_59 = (l1.car)); 4079 (conf_set = (BgL_sc_confzd2setzd2getza2_44za2(state, BgL_sc_statezd2num_58zd2, sc_conf_59))); 4080 if (((conf_set[(i+(5))])=== false)) 4081 { 4082 (conf_set_adjoin(state, conf_set, sc_conf_59, i)); 4083 (l1 = (l1.cdr)); 4084 } 4085 else 4086 (l1 = (l1.cdr)); 4087 } 4088 } 4089 return undefined; 4090 } 4091 }; 4092 BgL_sc_confzd2setzd2adjoinza2za2_46z00 = function(sc_states_60, BgL_sc_statesza2_61za2, BgL_sc_statezd2num_62zd2, sc_conf_63, i) { 4093 var BgL_sc_confzd2setza2_64z70; 4094 var BgL_sc_stateza2_65za2; 4095 var conf_set; 4096 var state; 4097 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)); 4098 }; 4099 conf_set_union = function(state, conf_set, sc_conf_66, other_set) { 4100 var i; 4101 { 4102 (i = (other_set[(2)])); 4103 while ((i>=(0))) { 4104 if (((conf_set[(i+(5))])=== false)) 4105 { 4106 (conf_set_adjoin(state, conf_set, sc_conf_66, i)); 4107 (i = (other_set[(i+(5))])); 4108 } 4109 else 4110 (i = (other_set[(i+(5))])); 4111 } 4112 return undefined; 4113 } 4114 }; 4115 forw = function(sc_states_67, BgL_sc_statezd2num_68zd2, sc_starters_69, sc_enders_70, sc_predictors_71, sc_steps_72, sc_nts_73) { 4116 var next_set; 4117 var next; 4118 var conf_set; 4119 var ender; 4120 var l; 4121 var starter_set; 4122 var starter; 4123 var sc_l_74; 4124 var sc_loop1_75; 4125 var head; 4126 var BgL_sc_confzd2set_76zd2; 4127 var BgL_sc_statezd2num_77zd2; 4128 var state; 4129 var sc_states_78; 4130 var preds; 4131 var BgL_sc_confzd2set_79zd2; 4132 var step; 4133 var sc_conf_80; 4134 var BgL_sc_nbzd2nts_81zd2; 4135 var sc_state_82; 4136 { 4137 (sc_state_82 = (sc_states_67[BgL_sc_statezd2num_68zd2])); 4138 (BgL_sc_nbzd2nts_81zd2 = (sc_nts_73.length)); 4139 while (true) { 4140 { 4141 (sc_conf_80 = (sc_state_82[(0)])); 4142 if ((sc_conf_80>=(0))) 4143 { 4144 (step = (sc_steps_72[sc_conf_80])); 4145 (BgL_sc_confzd2set_79zd2 = (sc_state_82[(sc_conf_80+(1))])); 4146 (head = (BgL_sc_confzd2set_79zd2[(4)])); 4147 (sc_state_82[(0)] = (BgL_sc_confzd2set_79zd2[(0)])); 4148 (conf_set_merge_new_bang(BgL_sc_confzd2set_79zd2)); 4149 if ((step>=(0))) 4150 { 4151 (sc_l_74 = (sc_starters_69[step])); 4152 while ((sc_l_74 instanceof sc_Pair)) { 4153 { 4154 (starter = (sc_l_74.car)); 4155 (starter_set = (BgL_sc_confzd2setzd2getza2_44za2(sc_state_82, BgL_sc_statezd2num_68zd2, starter))); 4156 if (((starter_set[(BgL_sc_statezd2num_68zd2+(5))])=== false)) 4157 { 4158 (conf_set_adjoin(sc_state_82, starter_set, starter, BgL_sc_statezd2num_68zd2)); 4159 (sc_l_74 = (sc_l_74.cdr)); 4160 } 4161 else 4162 (sc_l_74 = (sc_l_74.cdr)); 4163 } 4164 } 4165 (l = (sc_enders_70[step])); 4166 while ((l instanceof sc_Pair)) { 4167 { 4168 (ender = (l.car)); 4169 if ((((conf_set = (sc_state_82[(ender+(1))])), ((conf_set!== false)?(conf_set[(BgL_sc_statezd2num_68zd2+(5))]):false))!== false)) 4170 { 4171 (next = (sc_conf_80+(1))); 4172 (next_set = (BgL_sc_confzd2setzd2getza2_44za2(sc_state_82, BgL_sc_statezd2num_68zd2, next))); 4173 (conf_set_union(sc_state_82, next_set, next, BgL_sc_confzd2set_79zd2)); 4174 (l = (l.cdr)); 4175 } 4176 else 4177 (l = (l.cdr)); 4178 } 4179 } 4180 } 4181 else 4182 { 4183 (preds = (sc_predictors_71[(step+BgL_sc_nbzd2nts_81zd2)])); 4184 (sc_states_78 = sc_states_67); 4185 (state = sc_state_82); 4186 (BgL_sc_statezd2num_77zd2 = BgL_sc_statezd2num_68zd2); 4187 (BgL_sc_confzd2set_76zd2 = BgL_sc_confzd2set_79zd2); 4188 sc_loop1_75 = function(l) { 4189 var sc_state_83; 4190 var BgL_sc_nextzd2set_84zd2; 4191 var sc_next_85; 4192 var pred_set; 4193 var i; 4194 var pred; 4195 if ((l instanceof sc_Pair)) 4196 { 4197 (pred = (l.car)); 4198 (i = head); 4199 while ((i>=(0))) { 4200 { 4201 (pred_set = ((sc_state_83 = (sc_states_78[i])), (sc_state_83[(pred+(1))]))); 4202 if ((pred_set!== false)) 4203 { 4204 (sc_next_85 = (pred+(1))); 4205 (BgL_sc_nextzd2set_84zd2 = (BgL_sc_confzd2setzd2getza2_44za2(state, BgL_sc_statezd2num_77zd2, sc_next_85))); 4206 (conf_set_union(state, BgL_sc_nextzd2set_84zd2, sc_next_85, pred_set)); 4207 } 4208 (i = (BgL_sc_confzd2set_76zd2[(i+(5))])); 4209 } 4210 } 4211 return (sc_loop1_75((l.cdr))); 4212 } 4213 else 4214 return undefined; 4215 }; 4216 (sc_loop1_75(preds)); 4217 } 4218 } 4219 else 4220 return undefined; 4221 } 4222 } 4223 } 4224 }; 4225 is_parsed = function(nt, i, j, sc_nts_86, sc_enders_87, sc_states_88) { 4226 var conf_set; 4227 var state; 4228 var sc_conf_89; 4229 var l; 4230 var BgL_sc_ntza2_90za2; 4231 { 4232 (BgL_sc_ntza2_90za2 = (sc_ind_43(nt, sc_nts_86))); 4233 if ((BgL_sc_ntza2_90za2!== false)) 4234 { 4235 (sc_nts_86.length); 4236 (l = (sc_enders_87[BgL_sc_ntza2_90za2])); 4237 while (true) { 4238 if ((l instanceof sc_Pair)) 4239 { 4240 (sc_conf_89 = (l.car)); 4241 if ((((state = (sc_states_88[j])), (conf_set = (state[(sc_conf_89+(1))])), ((conf_set!== false)?(conf_set[(i+(5))]):false))!== false)) 4242 return true; 4243 else 4244 (l = (l.cdr)); 4245 } 4246 else 4247 return false; 4248 } 4249 } 4250 else 4251 return false; 4252 } 4253 }; 4254 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) { 4255 var sc_loop1_98; 4256 var prev; 4257 var name; 4258 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) { 4259 var loop2; 4260 var ender_set; 4261 var state; 4262 var ender; 4263 var l1; 4264 var l2; 4265 while (true) { 4266 if ((l1 instanceof sc_Pair)) 4267 { 4268 (ender = (l1.car)); 4269 (ender_set = ((state = (sc_states_96[j])), (state[(ender+(1))]))); 4270 if ((ender_set!== false)) 4271 { 4272 loop2 = function(k, l2) { 4273 var loop3; 4274 var ender_trees; 4275 var prev_trees; 4276 var conf_set; 4277 var sc_state_99; 4278 var k; 4279 var l2; 4280 while (true) { 4281 if ((k>=(0))) 4282 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))) 4283 { 4284 (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))); 4285 (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))); 4286 loop3 = function(l3, l2) { 4287 var l4; 4288 var sc_l2_100; 4289 var ender_tree; 4290 if ((l3 instanceof sc_Pair)) 4291 { 4292 (ender_tree = (sc_list((l3.car)))); 4293 (l4 = prev_trees); 4294 (sc_l2_100 = l2); 4295 while ((l4 instanceof sc_Pair)) { 4296 { 4297 (sc_l2_100 = (new sc_Pair((sc_append((l4.car), ender_tree)), sc_l2_100))); 4298 (l4 = (l4.cdr)); 4299 } 4300 } 4301 return (loop3((l3.cdr), sc_l2_100)); 4302 } 4303 else 4304 return (loop2((ender_set[(k+(5))]), l2)); 4305 }; 4306 return (loop3(ender_trees, l2)); 4307 } 4308 else 4309 (k = (ender_set[(k+(5))])); 4310 else 4311 return (sc_loop1_98((l1.cdr), l2)); 4312 } 4313 }; 4314 return (loop2((ender_set[(2)]), l2)); 4315 } 4316 else 4317 (l1 = (l1.cdr)); 4318 } 4319 else 4320 return l2; 4321 } 4322 }), (sc_loop1_98((sc_enders_92[(sc_steps_93[prev])]), null))))); 4323 }; 4324 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) { 4325 var conf_set; 4326 var state; 4327 var sc_conf_107; 4328 var l; 4329 var trees; 4330 var BgL_sc_nbzd2nts_108zd2; 4331 var BgL_sc_ntza2_109za2; 4332 { 4333 (BgL_sc_ntza2_109za2 = (sc_ind_43(nt, sc_nts_101))); 4334 if ((BgL_sc_ntza2_109za2!== false)) 4335 { 4336 (BgL_sc_nbzd2nts_108zd2 = (sc_nts_101.length)); 4337 (l = (sc_enders_102[BgL_sc_ntza2_109za2])); 4338 (trees = null); 4339 while ((l instanceof sc_Pair)) { 4340 { 4341 (sc_conf_107 = (l.car)); 4342 if ((((state = (sc_states_106[j])), (conf_set = (state[(sc_conf_107+(1))])), ((conf_set!== false)?(conf_set[(i+(5))]):false))!== false)) 4343 { 4344 (l = (l.cdr)); 4345 (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))); 4346 } 4347 else 4348 (l = (l.cdr)); 4349 } 4350 } 4351 return trees; 4352 } 4353 else 4354 return false; 4355 } 4356 }; 4357 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) { 4358 var sc_loop1_116; 4359 var tmp1124; 4360 var prev; 4361 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) { 4362 var nb_ender_trees; 4363 var nb_prev_trees; 4364 var conf_set; 4365 var state; 4366 var k; 4367 var n; 4368 var ender_set; 4369 var sc_state_117; 4370 var ender; 4371 var l; 4372 var sc_n_118; 4373 while (true) { 4374 if ((l instanceof sc_Pair)) 4375 { 4376 (ender = (l.car)); 4377 (ender_set = ((sc_state_117 = (sc_states_114[j])), (sc_state_117[(ender+(1))]))); 4378 if ((ender_set!== false)) 4379 { 4380 (k = (ender_set[(2)])); 4381 (n = sc_n_118); 4382 while ((k>=(0))) { 4383 if (((k>=i)&&(((state = (sc_states_114[k])), (conf_set = (state[(prev+(1))])), ((conf_set!== false)?(conf_set[(i+(5))]):false))!== false))) 4384 { 4385 (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))); 4386 (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))); 4387 (k = (ender_set[(k+(5))])); 4388 (n +=(nb_prev_trees*nb_ender_trees)); 4389 } 4390 else 4391 (k = (ender_set[(k+(5))])); 4392 } 4393 return (sc_loop1_116((l.cdr), n)); 4394 } 4395 else 4396 (l = (l.cdr)); 4397 } 4398 else 4399 return sc_n_118; 4400 } 4401 }), (sc_loop1_116((sc_enders_111[(sc_steps_112[prev])]), (0)))))); 4402 }; 4403 BgL_sc_nbzd2derivzd2treesza2_48za2 = function(nt, i, j, sc_nts_119, sc_enders_120, sc_steps_121, sc_toks_122, sc_states_123) { 4404 var conf_set; 4405 var state; 4406 var sc_conf_124; 4407 var l; 4408 var nb_trees; 4409 var BgL_sc_nbzd2nts_125zd2; 4410 var BgL_sc_ntza2_126za2; 4411 { 4412 (BgL_sc_ntza2_126za2 = (sc_ind_43(nt, sc_nts_119))); 4413 if ((BgL_sc_ntza2_126za2!== false)) 4414 { 4415 (BgL_sc_nbzd2nts_125zd2 = (sc_nts_119.length)); 4416 (l = (sc_enders_120[BgL_sc_ntza2_126za2])); 4417 (nb_trees = (0)); 4418 while ((l instanceof sc_Pair)) { 4419 { 4420 (sc_conf_124 = (l.car)); 4421 if ((((state = (sc_states_123[j])), (conf_set = (state[(sc_conf_124+(1))])), ((conf_set!== false)?(conf_set[(i+(5))]):false))!== false)) 4422 { 4423 (l = (l.cdr)); 4424 (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)); 4425 } 4426 else 4427 (l = (l.cdr)); 4428 } 4429 } 4430 return nb_trees; 4431 } 4432 else 4433 return false; 4434 } 4435 }; 4436 (lexer = (parser_descr[(0)])); 4437 (sc_nts_42 = (parser_descr[(1)])); 4438 (sc_starters_41 = (parser_descr[(2)])); 4439 (sc_enders_40 = (parser_descr[(3)])); 4440 (sc_predictors_39 = (parser_descr[(4)])); 4441 (sc_steps_38 = (parser_descr[(5)])); 4442 (sc_names_37 = (parser_descr[(6)])); 4443 (falseHead1128 = (new sc_Pair(null, null))); 4444 (L1125 = (lexer(input))); 4445 (tail1129 = falseHead1128); 4446 while (!(L1125 === null)) { 4447 { 4448 (tok = (L1125.car)); 4449 (l1 = (tok.cdr)); 4450 (l2 = null); 4451 while ((l1 instanceof sc_Pair)) { 4452 { 4453 (sc_i_29 = (sc_ind_43((l1.car), sc_nts_42))); 4454 if ((sc_i_29!== false)) 4455 { 4456 (l1 = (l1.cdr)); 4457 (l2 = (new sc_Pair(sc_i_29, l2))); 4458 } 4459 else 4460 (l1 = (l1.cdr)); 4461 } 4462 } 4463 (sc_optrOpnd_22 = (new sc_Pair((tok.car), (sc_reverse(l2))))); 4464 (sc_optrOpnd_21 = (new sc_Pair(sc_optrOpnd_22, null))); 4465 (tail1129.cdr = sc_optrOpnd_21); 4466 (tail1129 = (tail1129.cdr)); 4467 (L1125 = (L1125.cdr)); 4468 } 4469 } 4470 (sc_optrOpnd_20 = (falseHead1128.cdr)); 4471 (sc_toks_36 = (sc_list2vector(sc_optrOpnd_20))); 4472 (BgL_sc_nbzd2toks_35zd2 = (sc_toks_36.length)); 4473 (BgL_sc_nbzd2confs_34zd2 = (sc_steps_38.length)); 4474 (sc_states_33 = (make_states(BgL_sc_nbzd2toks_35zd2, BgL_sc_nbzd2confs_34zd2))); 4475 (goal_starters = (sc_starters_41[(0)])); 4476 (BgL_sc_confzd2setzd2adjoinza2_45za2(sc_states_33, (0), goal_starters, (0))); 4477 (forw(sc_states_33, (0), sc_starters_41, sc_enders_40, sc_predictors_39, sc_steps_38, sc_nts_42)); 4478 (sc_i_28 = (0)); 4479 while ((sc_i_28<BgL_sc_nbzd2toks_35zd2)) { 4480 { 4481 (tok_nts = ((sc_toks_36[sc_i_28]).cdr)); 4482 (BgL_sc_confzd2setzd2adjoinza2_45za2(sc_states_33, (sc_i_28+(1)), tok_nts, sc_i_28)); 4483 (forw(sc_states_33, (sc_i_28+(1)), sc_starters_41, sc_enders_40, sc_predictors_39, sc_steps_38, sc_nts_42)); 4484 (++sc_i_28); 4485 } 4486 } 4487 (nb_toks = (sc_toks_36.length)); 4488 (BgL_sc_nbzd2confs_32zd2 = (sc_steps_38.length)); 4489 (BgL_sc_nbzd2nts_31zd2 = (sc_nts_42.length)); 4490 (BgL_sc_statesza2_30za2 = (make_states(nb_toks, BgL_sc_nbzd2confs_32zd2))); 4491 (goal_enders = (sc_enders_40[(0)])); 4492 (l = goal_enders); 4493 while ((l instanceof sc_Pair)) { 4494 { 4495 (conf = (l.car)); 4496 (BgL_sc_confzd2setzd2adjoinza2za2_46z00(sc_states_33, BgL_sc_statesza2_30za2, nb_toks, conf, (0))); 4497 (l = (l.cdr)); 4498 } 4499 } 4500 (i = nb_toks); 4501 while ((i>=(0))) { 4502 { 4503 (states = sc_states_33); 4504 (BgL_sc_statesza2_27za2 = BgL_sc_statesza2_30za2); 4505 (state_num = i); 4506 (sc_enders_26 = sc_enders_40); 4507 (sc_steps_25 = sc_steps_38); 4508 (BgL_sc_nbzd2nts_24zd2 = BgL_sc_nbzd2nts_31zd2); 4509 (toks = sc_toks_36); 4510 (BgL_sc_stateza2_23za2 = (BgL_sc_statesza2_30za2[i])); 4511 loop1 = function() { 4512 var sc_loop1_127; 4513 var prev; 4514 var BgL_sc_statesza2_128za2; 4515 var sc_states_129; 4516 var j; 4517 var i; 4518 var sc_i_130; 4519 var head; 4520 var conf_set; 4521 var sc_conf_131; 4522 { 4523 (sc_conf_131 = (BgL_sc_stateza2_23za2[(0)])); 4524 if ((sc_conf_131>=(0))) 4525 { 4526 (conf_set = (BgL_sc_stateza2_23za2[(sc_conf_131+(1))])); 4527 (head = (conf_set[(4)])); 4528 (BgL_sc_stateza2_23za2[(0)] = (conf_set[(0)])); 4529 (conf_set_merge_new_bang(conf_set)); 4530 (sc_i_130 = head); 4531 while ((sc_i_130>=(0))) { 4532 { 4533 (i = sc_i_130); 4534 (j = state_num); 4535 (sc_states_129 = states); 4536 (BgL_sc_statesza2_128za2 = BgL_sc_statesza2_27za2); 4537 (prev = (sc_conf_131-(1))); 4538 if (((sc_conf_131>=BgL_sc_nbzd2nts_24zd2)&&((sc_steps_25[prev])>=(0)))) 4539 { 4540 sc_loop1_127 = function(l) { 4541 var k; 4542 var ender_set; 4543 var state; 4544 var ender; 4545 var l; 4546 while (true) { 4547 if ((l instanceof sc_Pair)) 4548 { 4549 (ender = (l.car)); 4550 (ender_set = ((state = (sc_states_129[j])), (state[(ender+(1))]))); 4551 if ((ender_set!== false)) 4552 { 4553 (k = (ender_set[(2)])); 4554 while ((k>=(0))) { 4555 { 4556 if ((k>=i)) 4557 if (((BgL_sc_confzd2setzd2adjoinza2za2_46z00(sc_states_129, BgL_sc_statesza2_128za2, k, prev, i))!== false)) 4558 (BgL_sc_confzd2setzd2adjoinza2za2_46z00(sc_states_129, BgL_sc_statesza2_128za2, j, ender, k)); 4559 (k = (ender_set[(k+(5))])); 4560 } 4561 } 4562 return (sc_loop1_127((l.cdr))); 4563 } 4564 else 4565 (l = (l.cdr)); 4566 } 4567 else 4568 return undefined; 4569 } 4570 }; 4571 (sc_loop1_127((sc_enders_26[(sc_steps_25[prev])]))); 4572 } 4573 (sc_i_130 = (conf_set[(sc_i_130+(5))])); 4574 } 4575 } 4576 return (loop1()); 4577 } 4578 else 4579 return undefined; 4580 } 4581 }; 4582 (loop1()); 4583 (--i); 4584 } 4585 } 4586 (optrOpnd = BgL_sc_statesza2_30za2); 4587 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]; 4588 } 4589 }; 4590 } 4591 }; 4592 BgL_parsezd2ze3parsedzf3zc2 = function(parse, nt, i, j) { 4593 var is_parsed; 4594 var states; 4595 var enders; 4596 var nts; 4597 return ((nts = (parse[(0)])), (enders = (parse[(2)])), (states = (parse[(7)])), (is_parsed = (parse[(8)])), (is_parsed(nt, i, j, nts, enders, states))); 4598 }; 4599 BgL_parsezd2ze3treesz31 = function(parse, nt, i, j) { 4600 var BgL_sc_derivzd2treesza2_132z70; 4601 var states; 4602 var toks; 4603 var names; 4604 var steps; 4605 var enders; 4606 var nts; 4607 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))); 4608 }; 4609 BgL_parsezd2ze3nbzd2treesze3 = function(parse, nt, i, j) { 4610 var BgL_sc_nbzd2derivzd2treesza2_133za2; 4611 var states; 4612 var toks; 4613 var steps; 4614 var enders; 4615 var nts; 4616 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))); 4617 }; 4618 test = function(k) { 4619 var x; 4620 var p; 4621 return ((p = (BgL_makezd2parserzd2(const_earley, function(l) { 4622 var sc_x_134; 4623 var tail1134; 4624 var L1130; 4625 var falseHead1133; 4626 { 4627 (falseHead1133 = (new sc_Pair(null, null))); 4628 (tail1134 = falseHead1133); 4629 (L1130 = l); 4630 while (!(L1130 === null)) { 4631 { 4632 (tail1134.cdr = (new sc_Pair(((sc_x_134 = (L1130.car)), (sc_list(sc_x_134, sc_x_134))), null))); 4633 (tail1134 = (tail1134.cdr)); 4634 (L1130 = (L1130.cdr)); 4635 } 4636 } 4637 return (falseHead1133.cdr); 4638 } 4639 }))), (x = (p((sc_vector2list((sc_makeVector(k, "\u1E9Ca"))))))), (sc_length((BgL_parsezd2ze3treesz31(x, "\u1E9Cs", (0), k))))); 4640 }; 4641 BgL_earleyzd2benchmarkzd2 = function() { 4642 var args = null; 4643 for (var sc_tmp = arguments.length - 1; sc_tmp >= 0; sc_tmp--) { 4644 args = sc_cons(arguments[sc_tmp], args); 4645 } 4646 var k; 4647 return ((k = ((args === null)?(7):(args.car))), (BgL_runzd2benchmarkzd2("earley", (1), function() { 4648 return (test(k)); 4649 }, function(result) { 4650 return ((sc_display(result)), (sc_newline()), result == 132); 4651 }))); 4652 }; 4653 } 4654 4655 4656 /************* END OF GENERATED CODE *************/ 4657 // Invoke this function to run a benchmark. 4658 // The first argument is a string identifying the benchmark. 4659 // The second argument is the number of times to run the benchmark. 4660 // The third argument is a function that runs the benchmark. 4661 // The fourth argument is a unary function that warns if the result 4662 // returned by the benchmark is incorrect. 4663 // 4664 // Example: 4665 // RunBenchmark("new Array()", 4666 // 1, 4667 // function () { new Array(1000000); } 4668 // function (v) { 4669 // return (v instanceof Array) && (v.length == 1000000); 4670 // }); 4671 4672 SC_DEFAULT_OUT = new sc_GenericOutputPort(function(s) {}); 4673 SC_ERROR_OUT = SC_DEFAULT_OUT; 4674 4675 function RunBenchmark(name, count, run, warn) { 4676 for (var n = 0; n < count; ++n) { 4677 result = run(); 4678 if (!warn(result)) { 4679 throw new Error("Earley or Boyer did incorrect number of rewrites"); 4680 } 4681 } 4682 } 4683 4684 var BgL_runzd2benchmarkzd2 = RunBenchmark; 4685