Do eta-reduction only as last phase, after eval(). This fixes some bugs.

Author portnov <portnov>
Author date 2008-06-02 04:55:30
Author local date 2008-06-02 04:55:30 +0000
Committer portnov <portnov>
Committer date 2008-06-02 04:55:30
Committer local date 2008-06-02 04:55:30 +0000
Commit 79eb7c741e868a50d6a9e1402a88986a9e387bb7
Tree a53e0bf53e1c1e3d248aa8983ebf17c4b978522e
Parent f1cc04c14ec1c7a244cf5e00ce741a236094d8b1
Do eta-reduction only as last phase, after eval(). This fixes some bugs.
Affected files:
data2.py
pylambda.py
ViewGit