lambda.js: tweak

Signed-off-by: Jim Pryor <profjim@jimpryor.net>

diff --git a/code/lambda.js b/code/lambda.js
index 132d9e9..50880fc 100644 (file)
--- 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];