From b3f5c72e7e063a5d876e318dfcbdb78a1cb97526 Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Thu, 23 Sep 2010 04:38:01 -0400 Subject: [PATCH 1/1] tweak lambda evaluator Signed-off-by: Jim Pryor --- lambda_evaluator.mdwn | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/lambda_evaluator.mdwn b/lambda_evaluator.mdwn index 2c6086bf..87797dfb 100644 --- a/lambda_evaluator.mdwn +++ b/lambda_evaluator.mdwn @@ -83,10 +83,10 @@ Object.prototype.error = function (message, t) { tree = parse(source); // string = JSON.stringify(tree, ['key', 'name', 'message', 'value', 'arity', 'first', 'second', 'third', 'fourth'], 4); expr = tree.handler(); - string = JSON.stringify(expr, ['key', 'name', 'message', 'value', 'arity', 'first', 'second', 'tag', 'variable', 'left', 'right', 'bound', 'body' ], 4); + // 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(); + string = ''; + string = string + reduce(expr, false, false).to_string(); } catch (e) { string = JSON.stringify(e, ['name', 'message', 'from', 'to', 'key', 'value', 'arity', 'first', 'second', 'third', 'fourth'], 4); -- 2.11.0