Changeset 1759

Timestamp:

11/19/07 00:49:13 (6 years ago)

Author:

nishio

Message:

lang/unlambda/impl/in_python: replace I with lambda

Files:

• lang/unlambda/impl/in_python/unlambda_lambda.py (modified) (1 diff)

lang/unlambda/impl/in_python/unlambda_lambda.py

@@ -65 +65 @@
     "parsed element"
 
-class I(Node):
-    "identity: `iX = X"
-    def __str__(self):
-        return "I"
-    def __call__(self, cont):
-        def I0(X, cont):
-            return cont(X)
-        return cont(I0)
+I = lambda: lambda c: c(lambda X, c: c(X))
 
 class Dot(Node):