Merge pull request #145 from artagnon/noexcept

Clean up some code, improve debug info in fleche
ejgallego · Jan 5, 2023 · d0b1f16 · d0b1f16
2 parents 37cff6b + 001556f
commit d0b1f16
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/fleche/doc.ml b/fleche/doc.ml
@@ -469,8 +469,8 @@ let check ~ofmt:_ ~doc ~fb_queue =
         | Yes loc -> loc
         | Stopped loc -> loc
       in
-      Format.asprintf "done [%.2f]: document fully checked %a" timestamp
-        Pp.pp_with (Loc.pr loc)
+      Format.asprintf "done [%.2f]: document fully checked %s" timestamp
+        (Coq.Ast.pr_loc loc)
     in
     Io.Log.trace "check" end_msg;
     print_stats ();

diff --git a/fleche/memo.ml b/fleche/memo.ml
@@ -126,12 +126,12 @@ let interp_command ~st ~fb_queue stm : _ Stats.t =
   let stm_loc = Coq.Ast.loc stm |> Option.get in
   match in_cache st stm with
   | Some (cached_loc, res), time ->
-    if Debug.cache then Io.Log.trace "coq" "cache hit";
+    if Debug.cache then Io.Log.trace "memo" "cache hit";
     CacheStats.hit ();
     let res = adjust_offset ~stm_loc ~cached_loc res in
     Stats.make ~cache_hit:true ~time res
   | None, time_hash -> (
-    if Debug.cache then Io.Log.trace "coq" "cache miss";
+    if Debug.cache then Io.Log.trace "memo" "cache miss";
     CacheStats.miss ();
     let kind = CS.Kind.Exec in
     let res, time_interp =