tweak lambda evaluator
authorJim Pryor <profjim@jimpryor.net>
Thu, 23 Sep 2010 08:23:27 +0000 (04:23 -0400)
committerJim Pryor <profjim@jimpryor.net>
Thu, 23 Sep 2010 08:23:27 +0000 (04:23 -0400)
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
lambda_evaluator.mdwn

index c0e19a5..8c3e6d5 100644 (file)
@@ -82,9 +82,9 @@ Object.prototype.error = function (message, t) {
         try {
             tree = parse(source);
  //           string = JSON.stringify(tree, ['key', 'name', 'message', 'value', 'arity', 'first', 'second', 'third', 'fourth'], 4);
         try {
             tree = parse(source);
  //           string = JSON.stringify(tree, ['key', 'name', 'message', 'value', 'arity', 'first', 'second', 'third', 'fourth'], 4);
-            string = JSON.stringify(tree.handler(), ['key', 'name', 'message', 'value', 'arity', 'first', 'second', 'tag', 'variable', 'left', 'right', 'bound', 'body' ], 4);
//           string = JSON.stringify(tree.handler(), ['key', 'name', 'message', 'value', 'arity', 'first', 'second', 'tag', 'variable', 'left', 'right', 'bound', 'body' ], 4);
                        expr = tree.handler();
                        expr = tree.handler();
-                       // string = expr.to_string() + "\n\n~~>\n\n";
+                       string = expr.to_string() + "\n\n~~>\n\n";
                        // string = '';
                        // string = string + reduce(expr, false, false).to_string();
         } catch (e) {
                        // string = '';
                        // string = string + reduce(expr, false, false).to_string();
         } catch (e) {