From c062eaeea09592cbdf7e5d732e992d0cdd8eedc5 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Thu, 1 Jun 2023 17:33:56 +0200
Subject: More scheduling

---
 src/main.c | 19 ++++++++-----------
 1 file changed, 8 insertions(+), 11 deletions(-)

(limited to 'src/main.c')

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;
 }
-- 
cgit v1.2.3