From: Jim Pryor Date: Wed, 29 Sep 2010 01:28:33 +0000 (-0400) Subject: lambda.js: tweak X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=e6c00ad32d58107e9861e2d121db7e03e626e184 lambda.js: tweak Signed-off-by: Jim Pryor --- diff --git a/code/lambda.js b/code/lambda.js index 132d9e93..50880fc6 100644 --- a/code/lambda.js +++ b/code/lambda.js @@ -363,9 +363,9 @@ function Lambda_lam(variable, body) { // var term = new Lambda_lam(this.bound, this.body.eval_loop([], eta)); var term = new Lambda_lam(this.bound, reduce(this.body, eta, false)); if (eta) { - return term.check_eta(); + return [null, term.check_eta()]; } else { - return term; + return [null, term]; } } else { var x = stack[0];