aboutsummaryrefslogtreecommitdiff
path: root/src/main.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/main.c')
-rw-r--r--src/main.c14
1 files changed, 10 insertions, 4 deletions
diff --git a/src/main.c b/src/main.c
index 9aaed3c..c60ebd2 100644
--- a/src/main.c
+++ b/src/main.c
@@ -6,6 +6,7 @@
#include <errno.h>
#include <string.h>
+#include <reduce.h>
#include <map.h>
#include <schedule.h>
#include <parse.h>
@@ -54,13 +55,18 @@ int main(int argc, char *argv[])
map_initialize();
char *orig_term = term;
- parse_blc(&term, 1);
+ struct term_handle handle = parse_blc(&term, 1);
free(orig_term);
- schedule_init();
- schedule();
+ term_print(handle.term);
+ struct term *new = reduce(handle.term);
+ fprintf(stderr, "\nafter\n");
+ term_print(new);
+
+ /* schedule_init(); */
+ /* schedule(); */
+ /* schedule_destroy(); */
- schedule_destroy();
map_destroy();
return 0;
}