More scheduling

1 files changed, 8 insertions, 11 deletions

diff --git a/src/main.c b/src/main.c
index a2a5105..6a12afb 100644
--- a/src/main.c
+++ b/src/main.c
@@ -53,24 +53,21 @@ int main(int argc, char *argv[])
 
 	char *term = read_path(argv[1]);
 	map_initialize();
+	schedule_initialize();
 
 	char *orig_term = term;
-	struct term_handle handle = parse_blc(&term, 1);
+	parse_blc(&term, 1);
 	free(orig_term);
 
-	term_print(handle.term);
-	fprintf(stderr, "\n");
-	struct term *reduced = reduce(handle.term->u.abs.term);
-	fprintf(stderr, "after\n");
-	term_print(reduced);
-	fprintf(stderr, "\n");
+	schedule_sync_priorities();
 
-	map_dump(map_all_terms());
+	/* map_dump(map_all_terms()); */
+	debug("reducing...\n");
 
-	/* schedule_init(); */
-	/* schedule(); */
-	/* schedule_destroy(); */
+	schedule();
 
+	map_dump(map_all_terms());
 	map_destroy(map_all_terms());
+	schedule_destroy();
 	return 0;
 }