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

index 8c3e6d5..2c6086b 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);
                        expr = tree.handler();
                        expr = tree.handler();
-                       string = expr.to_string() + "\n\n~~>\n\n";
+            string = JSON.stringify(expr, ['key', 'name', 'message', 'value', 'arity', 'first', 'second', 'tag', 'variable', 'left', 'right', 'bound', 'body' ], 4);
+//                     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) {