From d90ca2c3433d65598b8156207ca9bbf80a8c052c Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Fri, 13 Jul 2018 15:15:02 +0200 Subject: [PATCH] Little tweaks to Dir_contents Make the type private and explicitly ignore the mlds field Signed-off-by: Rudi Grinberg --- src/gen_rules.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/gen_rules.ml b/src/gen_rules.ml index bb5141ac..bd39bb15 100644 --- a/src/gen_rules.ml +++ b/src/gen_rules.ml @@ -172,7 +172,7 @@ module Gen(P : Install_rules.Params) = struct +-----------------------------------------------------------------+ *) module Dir_contents : sig - type t = + type t = private { (* Set of "text" files (.ml, .c, ...). This is the set of source files + user generated ones. *) text_files : String.Set.t @@ -930,7 +930,7 @@ module Gen(P : Install_rules.Params) = struct let { Dir_contents. text_files = files ; modules = lazy all_modules - ; _ + ; mlds = _ } = Dir_contents.get ~dir:ctx_dir in let modules_partitioner = Modules_partitioner.create ~dir_kind:kind in