From 0d9b4d910af975fe4aaa2eda1c09b23633f9f4e1 Mon Sep 17 00:00:00 2001 From: Fardale Date: Thu, 5 Mar 2020 19:43:01 +0100 Subject: [PATCH] clean(List): remove functions defined in Stdlib --- src/core/CCList.ml | 2 -- src/core/CCList.mli | 4 ---- src/core/CCListLabels.mli | 4 ---- 3 files changed, 10 deletions(-) diff --git a/src/core/CCList.ml b/src/core/CCList.ml index efc614de..de825357 100644 --- a/src/core/CCList.ml +++ b/src/core/CCList.ml @@ -125,8 +125,6 @@ let map f l = let direct_depth_append_ = 10_000 -let cons x l = x::l - let append l1 l2 = let rec direct i l1 l2 = match l1 with | [] -> l2 diff --git a/src/core/CCList.mli b/src/core/CCList.mli index ee212d03..65ae4c67 100644 --- a/src/core/CCList.mli +++ b/src/core/CCList.mli @@ -35,10 +35,6 @@ val (>|=) : 'a t -> ('a -> 'b) -> 'b t (** Infix version of [map] with reversed arguments. @since 0.5 *) -val cons : 'a -> 'a t -> 'a t -(** [cons x l] is [x::l]. - @since 0.12 *) - val append : 'a t -> 'a t -> 'a t (** Safe version of {!List.append}. Concatenate two lists. *) diff --git a/src/core/CCListLabels.mli b/src/core/CCListLabels.mli index 7152ffa6..a48b0b40 100644 --- a/src/core/CCListLabels.mli +++ b/src/core/CCListLabels.mli @@ -35,10 +35,6 @@ val (>|=) : 'a t -> ('a -> 'b) -> 'b t (** Infix version of [map] with reversed arguments. @since 0.5 *) -val cons : 'a -> 'a t -> 'a t -(** [cons x l] is [x::l]. - @since 0.12 *) - val append : 'a t -> 'a t -> 'a t (** Safe version of {!List.append}. Concatenate two lists. *)