fix: Compatibility with compilers >= 4.09.0 (impermeable#45)

andres-erbsen · Jan 1, 2024 · 7e0c89b · 7e0c89b
1 parent e9aeb7e
commit 7e0c89b
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 3 deletions.
diff --git a/coq-waterproof.opam b/coq-waterproof.opam
@@ -24,7 +24,7 @@ dev-repo: "git+https://github.com/impermeable/coq-waterproof.git"
 bug-reports: "https://github.com/impermeable/coq-waterproof/issues"
 
 depends: [
-  "ocaml" {>= "4.14.1"}
+  "ocaml" {>= "4.09.0"}
   "coq" {>= "8.17" & < "8.18"}
   "dune" {>= "3.6."}
 ]

diff --git a/src/proofutils.mli b/src/proofutils.mli
@@ -62,7 +62,6 @@ module StringMap : sig
   val for_all : (key -> 'a -> bool) -> 'a t -> bool
   val exists : (key -> 'a -> bool) -> 'a t -> bool
   val filter : (key -> 'a -> bool) -> 'a t -> 'a t
-  val filter_map : (key -> 'a -> 'b option) -> 'a t -> 'b t
   val partition : (key -> 'a -> bool) -> 'a t -> 'a t * 'a t
   val cardinal : 'a t -> int
   val bindings : 'a t -> (key * 'a) list
@@ -88,7 +87,6 @@ module StringMap : sig
   val map : ('a -> 'b) -> 'a t -> 'b t
   val mapi : (key -> 'a -> 'b) -> 'a t -> 'b t
   val to_seq : 'a t -> (key * 'a) Seq.t
-  val to_rev_seq : 'a t -> (key * 'a) Seq.t
   val to_seq_from : key -> 'a t -> (key * 'a) Seq.t
   val add_seq : (key * 'a) Seq.t -> 'a t -> 'a t
   val of_seq : (key * 'a) Seq.t -> 'a t