From 65bf27fd59ea0c86a0110a45a07edfc533d55443 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Mon, 4 Jan 2021 09:17:05 +0100
Subject: [PATCH] [Extlib] remove obsolete functions opt_equal and opt_compare
---
src/libraries/stdlib/extlib.ml | 11 -----------
src/libraries/stdlib/extlib.mli | 5 -----
2 files changed, 16 deletions(-)
diff --git a/src/libraries/stdlib/extlib.ml b/src/libraries/stdlib/extlib.ml
index b1c922f33e7..b55f30977d6 100644
--- a/src/libraries/stdlib/extlib.ml
+++ b/src/libraries/stdlib/extlib.ml
@@ -269,17 +269,6 @@ let the ?exn = function
end
| Some x -> x
-let opt_equal f v1 v2 = match v1, v2 with
- | None, None -> true
- | Some _, None | None, Some _ -> false
- | Some v1, Some v2 -> f v1 v2
-
-let opt_compare f v1 v2 = match v1, v2 with
- | None, None -> 0
- | Some _, None -> 1
- | None, Some _ -> -1
- | Some v1, Some v2 -> f v1 v2
-
let opt_hash hash v = match v with
| None -> 31179
| Some v -> hash v
diff --git a/src/libraries/stdlib/extlib.mli b/src/libraries/stdlib/extlib.mli
index 48bd9c71e9e..2cd1936f994 100644
--- a/src/libraries/stdlib/extlib.mli
+++ b/src/libraries/stdlib/extlib.mli
@@ -220,11 +220,6 @@ val the: ?exn:exn -> 'a option -> 'a
@modify Magnesium-20151001 add optional argument [exn]
@plugin development guide *)
-val opt_equal : ('a -> 'a -> bool) -> 'a option -> 'a option -> bool
-
-val opt_compare : ('a -> 'a -> int) -> 'a option -> 'a option -> int
- (** @since Boron-20100401 *)
-
val opt_hash: ('a -> int) -> 'a option -> int
(** @since Sodium-20150201 *)
--
GitLab