repositories
/
lambda.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
1c0be0f8ef24b4ef0b4cbe3e73b2ee0b3c51ca93
[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
=
1000
;
16
if
(
r
==
0
){
17
printf
(
" "
);
18
lambda_print
(
result
);
19
lambda_reduce
(
result
,
result
, &
maxdepth
);
20
lambda_free
(
result
);
21
}
22
yylex_destroy
();
23
return
r
;
24
}