diff options
Diffstat (limited to 'lib/cList.ml')
| -rw-r--r-- | lib/cList.ml | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/lib/cList.ml b/lib/cList.ml index 2bf8d3597..62d1ec3c1 100644 --- a/lib/cList.ml +++ b/lib/cList.ml @@ -550,13 +550,6 @@ let rec sep_last = function | hd::[] -> (hd,[]) | hd::tl -> let (l,tl) = sep_last tl in (l,hd::tl) -let try_find_i f = - let rec try_find_f n = function - | [] -> failwith "try_find_i" - | h::t -> try f n h with Failure _ -> try_find_f (n+1) t - in - try_find_f - let rec find_map f = function | [] -> raise Not_found | x :: l -> @@ -670,11 +663,6 @@ let rec split3 = function | (x,y,z)::l -> let (rx, ry, rz) = split3 l in (x::rx, y::ry, z::rz) -let rec insert_in_class f a = function - | [] -> [[a]] - | (b::_ as l)::classes when f a b -> (a::l)::classes - | l::classes -> l :: insert_in_class f a classes - let firstn n l = let rec aux acc = function | (0, l) -> List.rev acc |