From 738a3c64f1940c8ee20f9585a554ea6370936c3b Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Mon, 4 Jan 2021 11:43:47 +0100
Subject: [PATCH] [Extlib] remove unused functions array_exists and
array_existsi
---
src/libraries/stdlib/extlib.ml | 21 ---------------------
src/libraries/stdlib/extlib.mli | 7 -------
2 files changed, 28 deletions(-)
diff --git a/src/libraries/stdlib/extlib.ml b/src/libraries/stdlib/extlib.ml
index b55f30977d6..2bf8f67c110 100644
--- a/src/libraries/stdlib/extlib.ml
+++ b/src/libraries/stdlib/extlib.ml
@@ -221,27 +221,6 @@ let list_slice ?(first = 0) ?last l =
| None -> l
| Some n -> list_first_n (normalize n - first) l
-
-(* ************************************************************************* *)
-(** {2 Arrays} *)
-(* ************************************************************************* *)
-
-let array_exists f a =
- try
- for i = 0 to Array.length a - 1 do
- if f a.(i) then raise Exit
- done;
- false
- with Exit -> true
-
-let array_existsi f a =
- try
- for i = 0 to Array.length a - 1 do
- if f i a.(i) then raise Exit
- done;
- false
- with Exit -> true
-
(* ************************************************************************* *)
(** {2 Options} *)
(* ************************************************************************* *)
diff --git a/src/libraries/stdlib/extlib.mli b/src/libraries/stdlib/extlib.mli
index 2cd1936f994..47022a39032 100644
--- a/src/libraries/stdlib/extlib.mli
+++ b/src/libraries/stdlib/extlib.mli
@@ -184,13 +184,6 @@ val list_slice: ?first:int -> ?last:int -> 'a list -> 'a list
and inverted ranges result in empty lists.
@since 18.0-Argon *)
-(* ************************************************************************* *)
-(** {2 Arrays} *)
-(* ************************************************************************* *)
-
-val array_exists: ('a -> bool) -> 'a array -> bool
-val array_existsi: (int -> 'a -> bool) -> 'a array -> bool
-
(* ************************************************************************* *)
(** {2 Options} *)
(* ************************************************************************* *)
--
GitLab