From 8b814e85495bc4fab2ceac8c15ad2d9d0d9e7ed9 Mon Sep 17 00:00:00 2001 From: Jules Aguillon Date: Fri, 13 Dec 2024 15:18:13 +0100 Subject: [PATCH] Fix warnings in sherlodoc --- sherlodoc/db/entry.ml | 2 +- sherlodoc/index/index.ml | 1 - 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/sherlodoc/db/entry.ml b/sherlodoc/db/entry.ml index 1e9e7e0d83..533eb2a5eb 100644 --- a/sherlodoc/db/entry.ml +++ b/sherlodoc/db/entry.ml @@ -56,7 +56,7 @@ type t = ; pkg : Package.t } -let pp fmt { name; rhs; url; kind; cost; doc_html; pkg } = +let pp fmt { name; rhs; url; kind = _; cost; doc_html; pkg = _ } = Format.fprintf fmt "{ name = %s ; rhs = %a ; url = %s ; kind = . ; cost = %d ; doc_html = %s ; pkg = . }\n" diff --git a/sherlodoc/index/index.ml b/sherlodoc/index/index.ml index 28f1a327f8..42c5da5a71 100644 --- a/sherlodoc/index/index.ml +++ b/sherlodoc/index/index.ml @@ -22,7 +22,6 @@ let index_file register filename = match Fpath.of_string filename with | Error (`Msg msg) -> Format.printf "FILE ERROR %s: %s@." filename msg | Ok file -> - let open Odoc_model in (match handle_file register file with | Ok result -> result | Error (`Msg msg) ->