]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/extlib/hExtlib.ml
added list_uniq
[helm.git] / helm / ocaml / extlib / hExtlib.ml
index b8bee56568f08d36bb9816bf295f9b2e0649a0db..06ac37b13c19197dfa5245f4afd16af5dec27acc 100644 (file)
@@ -88,8 +88,13 @@ let trim_blanks s =
   let left, right = find_left 0, find_right (s_len - 1) in
   String.sub s left (right - left + 1)
 
-(*   let rex = Pcre.regexp "^\\s*(.*?)\\s*$" in
-  fun s -> (Pcre.extract ~rex s).(1) *)
+(** {2 List processing} *)
+
+let rec list_uniq = function 
+  | [] -> []
+  | h::[] -> [h]
+  | h1::h2::tl when h1 = h2 -> list_uniq (h2 :: tl) 
+  | h1::tl (* when h1 <> h2 *) -> h1 :: list_uniq tl
 
 (** {2 File predicates} *)