projects
/
lambda.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
47ea079
)
lambda.js: tweak
author
Jim Pryor
<profjim@jimpryor.net>
Wed, 29 Sep 2010 01:28:33 +0000
(21:28 -0400)
committer
Jim Pryor
<profjim@jimpryor.net>
Wed, 29 Sep 2010 01:28:33 +0000
(21:28 -0400)
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
code/lambda.js
patch
|
blob
|
history
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];