From 0eeebdc55559fb1a8ec3a0a8e5485234f4fa9152 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 1 Jun 2018 19:48:17 -0500 Subject: [PATCH] perf: use `Set.elements` to convert to list --- src/Sequence.ml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/Sequence.ml b/src/Sequence.ml index 6abaae4..b01a47e 100644 --- a/src/Sequence.ml +++ b/src/Sequence.ml @@ -1197,13 +1197,12 @@ module Set = 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 - let to_list set = to_list (to_seq_ set) - include X let to_seq = to_seq_ let of_seq = of_seq_ let of_list l = List.fold_left (fun set x -> add x set) empty l + let to_list = elements end (** Functor to build an extended Set module from an ordered type *)