Signed-off-by: Jim Pryor <profjim@jimpryor.net>
+ try {
+ if (console && console.debug) {
+ function print() {
+ console.debug.apply(this, arguments);
+ }
+ }
+ } catch (e) {}
+
var symbol = function (id) {
var s = symbol_table[id];
if (!s) {
s = Object.create(original_symbol);
s.id = s.value = id;
symbol_table[id] = s;
var symbol = function (id) {
var s = symbol_table[id];
if (!s) {
s = Object.create(original_symbol);
s.id = s.value = id;
symbol_table[id] = s;
-// try {
-// if (console && console.debug) {
-// function print() {
-// console.debug.apply(this, arguments);
-// }
-// }
-// } catch (e) {}
-
var var_table;
var name_table;
var var_table;
var name_table;