use debruijn indexing

[lambda.git] / print.c

diff --git a/print.c b/print.c
index c50d8dc..c7503b8 100644 (file)
--- a/print.c
+++ b/print.c
@@ -5,28 +5,17 @@
        if(t->data.abstraction.strict)\
                putchar('!');\
        printf("%s", t->data.abstraction.ident);\
-       print_apos(t->data.abstraction.revision);\
        }
 
 
-void print_apos(unsigned int revision)
-{
-       if(revision == 1)
-               printf("\'");
-       if(revision > 2){
-               printf("\"");
-               print_apos(revision - 2);
-       }
-}
-
 void term_print(struct lambda *t, struct lambda *mark)
 {
        if(t == mark)
                putchar('|');
        switch(t->which){
        case lambda_ident:
+//             printf("%s(%p)", t->data.identifier.ident, (void *)t->data.identifier.binding);
                printf("%s", t->data.identifier.ident);
-               print_apos(t->data.identifier.revision);
                break;
        case lambda_abs:
                printf("λ");
@@ -61,5 +50,5 @@ void term_print(struct lambda *t, struct lambda *mark)
 void lambda_print(struct lambda *t, struct lambda *mark)
 {
        term_print(t, mark);
-       printf(";\n");
+       printf(";");
 }