// 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];