From a5a1315f7915761f2a85f3d0b7f88b81fb0a8f1d Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 1 Dec 2014 16:03:37 +0100 Subject: [PATCH] implement Set.Adapt.of_list for < 4.02 --- sequence.ml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/sequence.ml b/sequence.ml index 1009988..6c6bd3b 100644 --- a/sequence.ml +++ b/sequence.ml @@ -609,7 +609,7 @@ module Set = struct end (** Create an enriched Set module from the given one *) - module Adapt(X : Set.S) = struct + module Adapt(X : Set.S) : S with type elt = X.elt and type t = X.t = struct let to_seq set k = X.iter k set let of_seq seq = fold (fun set x -> X.add x set) X.empty seq @@ -617,6 +617,8 @@ module Set = struct let to_list set = to_list (to_seq set) include X + + let of_list l = List.fold_left (fun set x -> add x set) empty l end (** Functor to build an extended Set module from an ordered type *)