shithub: MicroHs

Download patch

ref: 33929c270547bfde1d6a6484a0e8bef1ecaabacb
parent: c40d2d87ada20043d12e9fd57a0ac0de316ebbf4
author: Lennart Augustsson <lennart@augustsson.net>
date: Thu Nov 2 10:45:49 EDT 2023

More accurate message.

--- a/src/runtime/eval.c
+++ b/src/runtime/eval.c
@@ -908,8 +908,6 @@
     mark(&stack[i]);
   t = gettime();
   gc_mark_time += t;
-  if (verbose > 1)
-    fprintf(stderr, "gc scan\n");
 
   if (num_marked > max_num_marked)
     max_num_marked = num_marked;
@@ -2331,7 +2329,7 @@
     printf("%"PCOMMA"15"PRIcounter" GCs\n", num_gc);
     printf("%"PCOMMA"15"PRIcounter" max cells used\n", max_num_marked);
     printf("%"PCOMMA"15"PRIcounter" reductions (%"PCOMMA".1f Mred/s)\n", num_reductions, num_reductions / run_time / 1000000);
-    printf("%15.2fs total execution time\n", run_time);
+    printf("%15.2fs total expired time\n", run_time);
     printf("%15.2fs total gc time\n", gc_mark_time);
 #if GCRED && 0
     printf(" GC reductions A=%d, K=%d, I=%d, int=%d\n", red_a, red_k, red_i, red_int);
--