change printing

[lambda.git] / print.c

diff --git a/print.c b/print.c
index c7503b8..02fcc16 100644 (file)
--- a/print.c
+++ b/print.c
@@ -14,7 +14,6 @@ void term_print(struct lambda *t, struct lambda *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);
                break;
        case lambda_abs:
@@ -36,10 +35,10 @@ void term_print(struct lambda *t, struct lambda *mark)
 
                putchar(' ');
 
-               if(t->data.application.expr2->which == lambda_app)
+               if(t->data.application.expr2->which == lambda_abs)
                        putchar('(');
                term_print(t->data.application.expr2, mark);
-               if(t->data.application.expr2->which == lambda_app)
+               if(t->data.application.expr2->which == lambda_abs)
                        putchar(')');
                break;
        }
@@ -50,5 +49,5 @@ void term_print(struct lambda *t, struct lambda *mark)
 void lambda_print(struct lambda *t, struct lambda *mark)
 {
        term_print(t, mark);
-       printf(";");
+       putchar('\n');
 }