diff options
Diffstat (limited to 'src/main.c')
-rw-r--r-- | src/main.c | 14 |
1 files changed, 10 insertions, 4 deletions
@@ -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; } |