From 7a22286ca1224a075de826dbfd8b821affb32541 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 13 Mar 2018 00:34:49 -0500 Subject: [PATCH] use standard `List.sort_uniq` --- src/core/CCList.ml | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) diff --git a/src/core/CCList.ml b/src/core/CCList.ml index 82291ba3..8a4dbfb0 100644 --- a/src/core/CCList.ml +++ b/src/core/CCList.ml @@ -580,13 +580,7 @@ let sorted_merge ~cmp l1 l2 = List.length (sorted_merge ~cmp:CCInt.compare l1 l2) = List.length l1 + List.length l2) *) -let sort_uniq (type elt) ~cmp l = - let module S = Set.Make(struct - type t = elt - let compare = cmp - end) in - let set = fold_right S.add l S.empty in - S.elements set +let sort_uniq (type elt) ~cmp l = List.sort_uniq cmp l (*$T sort_uniq ~cmp:CCInt.compare [1;2;5;3;6;1;4;2;3] = [1;2;3;4;5;6]