diff options
Diffstat (limited to 'lib/containers/importContainers.ml')
-rw-r--r-- | lib/containers/importContainers.ml | 22 |
1 files changed, 10 insertions, 12 deletions
diff --git a/lib/containers/importContainers.ml b/lib/containers/importContainers.ml index bf65ba4..6da8374 100644 --- a/lib/containers/importContainers.ml +++ b/lib/containers/importContainers.ml @@ -2,8 +2,7 @@ module Conf = ImportConf module Syntax = Conf.Syntax module Table = ImportDataTypes.Table -(** This key is used to create the table of each externals in the - configuration. +(** This key is used to create the table of each externals in the configuration. This table allow to check if there are cycles between the references *) module KeyName : sig @@ -49,13 +48,12 @@ end = struct end module Externals = MoreLabels.Map.Make (KeyName) -module IntSet = MoreLabels.Set.Make (Int) - -let show_intSet set = - let b = Buffer.create 16 in - IntSet.iter - ~f:(fun v -> - Buffer.add_string b (string_of_int v); - Buffer.add_char b ',') - set; - Buffer.contents b + +module IntSet = struct + include MoreLabels.Set.Make (Int) + + let pp : Format.formatter -> t -> unit = + fun format set -> + let iter' f = iter ~f in + Format.pp_print_iter iter' Format.pp_print_int format set +end |