- }
- if (stack.length === 0) {
-// var term = new Lambda_lam(this.bound, this.body.eval_loop([], eta));
-// if (eta) {
-// return term.check_eta();
-// } else {
-// return term;
-// }
- // post-processor, trampoline to, args
- return [post, this.body, [], eta];