Make types in Dir_contents more private

Make records privates and add internal signature to Library_modules

Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
This commit is contained in:
Rudi Grinberg 2018-08-27 14:42:36 +03:00
parent 9d61c59500
commit 9a9d45e7d2
2 changed files with 11 additions and 3 deletions

View File

@ -163,7 +163,15 @@ end = struct
modules
end
module Library_modules = struct
module Library_modules : sig
type t = private
{ modules : Module.t Module.Name.Map.t
; alias_module : Module.t option
; main_module_name : Module.Name.t
}
val make : Library.t -> dir:Path.t -> Module.t Module.Name.Map.t -> t
end = struct
type t =
{ modules : Module.t Module.Name.Map.t
; alias_module : Module.t option

View File

@ -17,7 +17,7 @@ val dir : t -> Path.t
val text_files : t -> String.Set.t
module Library_modules : sig
type t =
type t = private
{ modules : Module.t Module.Name.Map.t
; alias_module : Module.t option
; main_module_name : Module.Name.t
@ -42,7 +42,7 @@ val mlds : t -> Dune_file.Documentation.t -> Path.t list
val get : Super_context.t -> dir:Path.t -> t
type kind =
type kind = private
| Standalone
| Group_root of t list Lazy.t (** Sub-directories part of the group *)
| Group_part of t