change printing

[lambda.git] / lambda.h

diff --git a/lambda.h b/lambda.h
index ab28375..d9921d6 100644 (file)
--- a/lambda.h
+++ b/lambda.h
@@ -12,11 +12,10 @@ struct lambda {
        union {
                struct {
                        char *ident;
-                       unsigned int revision;
+                       struct lambda *binding;
                } identifier;
                struct {
                        char *ident;
-                       unsigned int revision;
                        bool strict;
                        struct lambda *expr;
                } abstraction;
@@ -33,6 +32,7 @@ struct decllist {
        struct lambda *value;
 };
 
+struct lambda *make_lambda();
 struct lambda *make_ident(char *);
 struct lambda *make_abstraction(char *, bool, struct lambda *);
 struct lambda *make_application(struct lambda *, struct lambda *);