From a5106034a6a230e0558d9d162f3714e869602fe4 Mon Sep 17 00:00:00 2001 From: Emilio Jesus Gallego Arias Date: Mon, 5 Feb 2024 12:38:44 +0100 Subject: [PATCH] wip --- coq/files.ml | 11 +++++------ 1 file changed, 5 insertions(+), 6 deletions(-) diff --git a/coq/files.ml b/coq/files.ml index 91fa811a..c2f245cb 100644 --- a/coq/files.ml +++ b/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 () =