wip

coq/files.ml

@@ -14,7 +14,6 @@
 (* Copyright 2019-2024 Inria      -- Dual License LGPL 2.1 / GPL3+      *)
 (* Written by: Emilio J. Gallego Arias & Bhakti Shah                    *)
 (************************************************************************)
-
 open Base
 open Ppx_hash_lib.Std.Hash.Builtin
 open Ppx_compare_lib.Builtin
@@ -35,7 +34,8 @@ module Require_result = struct
     | Wait of CUnix.physical_path list
 end
 
-let pp_bind fmt (file, dp) = Stdlib.Format.fprintf fmt "@[%s / %s@]" file (Names.DirPath.to_string dp)
+let pp_bind fmt (file, dp) =
+  Stdlib.Format.fprintf fmt "@[%s / %s@]" file (Names.DirPath.to_string dp)
 
 let pp_partials fmt lp = Stdlib.Format.(fprintf fmt "@[%a@]" (pp_print_list pp_bind) lp)
 
@@ -46,10 +46,9 @@ let check_file_ready ?root (m, _imports) =
   | [], partials ->
     Stdlib.Format.eprintf "partial match:@\n @[%a@]%!" pp_partials partials;
     Error "weird stuff happened in expand path"
-  | (file, dp) :: rr, _ -> (
-    let () =
-      Stdlib.Format.eprintf "exact match: %a@\n%!" pp_partials ((file, dp) :: rr)
-    in
+  | (file, dp) :: rr, partials -> (
+    Stdlib.Format.eprintf "exact matches: %a@\n%!" pp_blist ((file, dp) :: rr);
+    Stdlib.Format.eprintf "partial matches: %a@\n%!" pp_partials partials;
     match Loadpath.locate_qualified_library ?root m with
     | Ok (dirpath, file) ->
       let () =