From be619e662e7b7c9efc76d0bfe0fc561abea08fc9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Rapha=C3=ABl=20Proust?= Date: Thu, 20 Apr 2023 06:01:38 +0200 Subject: [PATCH] Env: remove List.*assq functions --- src/lib_protocol_environment/sigs/v9.ml | 14 -------------- src/lib_protocol_environment/sigs/v9/list.mli | 14 -------------- 2 files changed, 28 deletions(-) diff --git a/src/lib_protocol_environment/sigs/v9.ml b/src/lib_protocol_environment/sigs/v9.ml index 439abcf84e81..92d867725c6d 100644 --- a/src/lib_protocol_environment/sigs/v9.ml +++ b/src/lib_protocol_environment/sigs/v9.ml @@ -6612,29 +6612,15 @@ val assoc : equal:('a -> 'a -> bool) -> 'a -> ('a * 'b) list -> 'b option {!Stdlib.List}. *) val assoc_opt : equal:('a -> 'a -> bool) -> 'a -> ('a * 'b) list -> 'b option -(** [assq k kvs] is the same as [assoc ~equal:Stdlib.( == ) k kvs]: it uses - the physical equality. *) -val assq : 'a -> ('a * 'b) list -> 'b option - -(** [assq_opt] is an alias for [assq] provided for compatibility with - {!Stdlib.List}. *) -val assq_opt : 'a -> ('a * 'b) list -> 'b option - (** [mem_assoc ~equal k l] is equivalent to [Option.is_some @@ assoc ~equal k l]. *) val mem_assoc : equal:('a -> 'a -> bool) -> 'a -> ('a * 'b) list -> bool -(** [mem_assq k l] is [mem_assoc ~equal:Stdlib.( == ) k l]. *) -val mem_assq : 'a -> ('a * 'b) list -> bool - (** [remove_assoc ~equal k l] is [l] without the first element [(k', _)] such that [equal k k']. *) val remove_assoc : equal:('a -> 'a -> bool) -> 'a -> ('a * 'b) list -> ('a * 'b) list -(** [remove_assoq k l] is [remove_assoc ~equal:Stdlib.( == ) k l]. *) -val remove_assq : 'a -> ('a * 'b) list -> ('a * 'b) list - (** {3 Initialisation} *) (** [init ~when_negative_length n f] is a list of [n] elements [f 0], [f 1], diff --git a/src/lib_protocol_environment/sigs/v9/list.mli b/src/lib_protocol_environment/sigs/v9/list.mli index ef98a9ea69c9..08593807d993 100644 --- a/src/lib_protocol_environment/sigs/v9/list.mli +++ b/src/lib_protocol_environment/sigs/v9/list.mli @@ -180,29 +180,15 @@ val assoc : equal:('a -> 'a -> bool) -> 'a -> ('a * 'b) list -> 'b option {!Stdlib.List}. *) val assoc_opt : equal:('a -> 'a -> bool) -> 'a -> ('a * 'b) list -> 'b option -(** [assq k kvs] is the same as [assoc ~equal:Stdlib.( == ) k kvs]: it uses - the physical equality. *) -val assq : 'a -> ('a * 'b) list -> 'b option - -(** [assq_opt] is an alias for [assq] provided for compatibility with - {!Stdlib.List}. *) -val assq_opt : 'a -> ('a * 'b) list -> 'b option - (** [mem_assoc ~equal k l] is equivalent to [Option.is_some @@ assoc ~equal k l]. *) val mem_assoc : equal:('a -> 'a -> bool) -> 'a -> ('a * 'b) list -> bool -(** [mem_assq k l] is [mem_assoc ~equal:Stdlib.( == ) k l]. *) -val mem_assq : 'a -> ('a * 'b) list -> bool - (** [remove_assoc ~equal k l] is [l] without the first element [(k', _)] such that [equal k k']. *) val remove_assoc : equal:('a -> 'a -> bool) -> 'a -> ('a * 'b) list -> ('a * 'b) list -(** [remove_assoq k l] is [remove_assoc ~equal:Stdlib.( == ) k l]. *) -val remove_assq : 'a -> ('a * 'b) list -> ('a * 'b) list - (** {3 Initialisation} *) (** [init ~when_negative_length n f] is a list of [n] elements [f 0], [f 1], -- GitLab