diff options
author | Marvin Borner | 2023-06-07 13:29:21 +0200 |
---|---|---|
committer | Marvin Borner | 2023-06-07 13:29:21 +0200 |
commit | ec2be68120e48c75b0acd2bdfb5cc8d931c70cfd (patch) | |
tree | 7e69f60faedf2ad1ffcbdf4e61d318a8ce8bbc7c /src/schedule.c | |
parent | 4b5200630ad55d2fd84ab71ad766fea81b1eaafe (diff) |
Removed parenting
I think reducing should work without parenting.. I'm not sure though.
I'm confused.
Diffstat (limited to 'src/schedule.c')
-rw-r--r-- | src/schedule.c | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/schedule.c b/src/schedule.c index 407c6e0..2a7a7c4 100644 --- a/src/schedule.c +++ b/src/schedule.c @@ -63,6 +63,10 @@ void schedule_add(struct term *term) if (!term_is_beta_redex(term)) return; + fprintf(stderr, "added "); + term_print(term); + fprintf(stderr, "\n"); + set_pri(term, calculate_priority(term)); pqueue_insert(queue, term); } @@ -78,7 +82,7 @@ void schedule_remove(struct term *term) void schedule(void) { - while (pqueue_size(queue) > 1) { + while (pqueue_size(queue)) { fprintf(stderr, "queue size: %zu\n", pqueue_size(queue)); map_dump(map_all_terms()); |