better printing
[lambda.git] / main.c
1 #include <stdio.h>
2
3 #include "lambda.h"
4 #include "lambda.tab.h"
5 #include "lambda.yy.h"
6 #include "reduce.h"
7 #include "print.h"
8 #include "mem.h"
9
10 extern struct lambda *result;
11
12 int main()
13 {
14 int r = yyparse();
15 int maxdepth = 10000;
16 if(r == 0){
17 decls_print();
18 printf(" ");
19 lambda_reduce(result, result, &maxdepth);
20 lambda_print(result, NULL);
21 }
22 yylex_destroy();
23 lambda_free(result);
24 decls_free();
25 return r;
26 }