From fbc1822815847c3e8241d403b6fadedd226af047 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Wed, 23 Dec 2020 22:27:21 +0100
Subject: [PATCH] [Extlib] remove unused and obsolete functions
---
src/libraries/stdlib/extlib.ml | 4 ----
src/libraries/stdlib/extlib.mli | 6 ------
2 files changed, 10 deletions(-)
diff --git a/src/libraries/stdlib/extlib.ml b/src/libraries/stdlib/extlib.ml
index 5502d9f81c0..b1c922f33e7 100644
--- a/src/libraries/stdlib/extlib.ml
+++ b/src/libraries/stdlib/extlib.ml
@@ -246,8 +246,6 @@ let array_existsi f a =
(** {2 Options} *)
(* ************************************************************************* *)
-let opt_if b v = if b then None else Some v
-
let opt_fold f o b =
match o with
| None -> b
@@ -271,8 +269,6 @@ let the ?exn = function
end
| Some x -> x
-let find_or_none f v = try Some(f v) with Not_found -> None
-
let opt_equal f v1 v2 = match v1, v2 with
| None, None -> true
| Some _, None | None, Some _ -> false
diff --git a/src/libraries/stdlib/extlib.mli b/src/libraries/stdlib/extlib.mli
index 06924f16a11..48bd9c71e9e 100644
--- a/src/libraries/stdlib/extlib.mli
+++ b/src/libraries/stdlib/extlib.mli
@@ -195,10 +195,6 @@ val array_existsi: (int -> 'a -> bool) -> 'a array -> bool
(** {2 Options} *)
(* ************************************************************************* *)
-val opt_if: bool -> 'a -> 'a option
-(** [opt_if cond v] returns [Some v] if [cond] is [true] and
- [None] otherwise *)
-
val opt_fold: ('a -> 'b -> 'b) -> 'a option -> 'b -> 'b
(** @since Oxygen-20120901 *)
@@ -224,8 +220,6 @@ val the: ?exn:exn -> 'a option -> 'a
@modify Magnesium-20151001 add optional argument [exn]
@plugin development guide *)
-val find_or_none: ('a -> 'b) -> 'a -> 'b option
-
val opt_equal : ('a -> 'a -> bool) -> 'a option -> 'a option -> bool
val opt_compare : ('a -> 'a -> int) -> 'a option -> 'a option -> int
--
GitLab