add alpha renaming

[lambda.git] / lambda.h

diff --git a/lambda.h b/lambda.h
index a92a2bb..60bc284 100644 (file)
--- a/lambda.h
+++ b/lambda.h
@@ -9,9 +9,13 @@ enum lambda_which {lambda_ident, lambda_abs, lambda_app};
 struct lambda {
        enum lambda_which which;
        union {
-               char *identifier;
                struct {
                        char *ident;
+                       unsigned int revision;
+               } identifier;
+               struct {
+                       char *ident;
+                       unsigned int revision;
                        struct lambda *expr;
                } abstraction;
                struct {