Drop support for OCaml 4.7 to 4.10.

.github/workflows/ci.yml

@@ -11,9 +11,13 @@ jobs:
       fail-fast: false
       matrix:
         ocaml-version: [
-          4.07.0, 4.07.1, 4.08.0, 4.08.1, 4.09.0, 4.09.1, 4.10.0, 4.10.1,
-          4.10.2, 4.11.0, 4.11.1, 4.11.2, 4.12.0, 4.13.0, 4.13.1, 4.14.0,
-          4.14.1, 5.0.0, 5.1.0, 5.1.1
+          4.11.0, 4.11.1, 4.11.2,
+          4.12.0,
+          4.13.0, 4.13.1,
+          4.14.0, 4.14.1,
+          5.0.0,
+          5.1.0, 5.1.1,
+          5.2.0
         ]
     runs-on: "ubuntu-latest"
     steps:

bindlib.opam

@@ -17,10 +17,10 @@ license: "LGPL-3.0"
 homepage: "https://github.com/rlepigre/ocaml-bindlib"
 bug-reports: "https://github.com/rlepigre/ocaml-bindlib/issues"
 depends: [
-  "ocaml" {>= "4.07.0"}
+  "ocaml" {>= "4.11.0"}
   "dune" {>= "2.7" & build}
-  "timed" {>= "1.0" & with-test}
-  "pacomb" {>= "1.1" & with-test}
+  "timed" {>= "1.1" & with-test}
+  "pacomb" {>= "1.3" & with-test}
   "odoc" {with-doc}
 ]
 build: [

dune-project

@@ -20,8 +20,8 @@
     OCaml language. The main application is the representation of types with
     a binding structure (e.g., abstract syntax trees).")
  (depends
-   (ocaml (>= 4.07.0))
+   (ocaml (>= 4.11.0))
    (dune :build)
-   (timed (and (>= 1.0) :with-test))
-   (pacomb (and (>= 1.1) :with-test))
+   (timed (and (>= 1.1) :with-test))
+   (pacomb (and (>= 1.3) :with-test))
    (odoc :with-doc)))

lib/bindlib.ml

@@ -11,12 +11,6 @@ let ((reset_counter : unit -> unit), (fresh_key : unit -> int)) =
   let c = ref (-1) in
   ((fun () -> c := -1), (fun () -> incr c; !c))
 
-(* FIXME remove in recent enough OCaml. *)
-module Int = struct
-  type t = int
-  let compare = (-)
-end
-
 module IMap = Map.Make(Int)
 module SMap = Map.Make(String)
 

lib/dune

@@ -2,9 +2,4 @@
  (name bindlib)
  (public_name bindlib)
  (synopsis "An efficient representation of binders")
- (preprocess
-  (action
-   (run ocaml %{project_root}/lib/pp.ml %{ocaml_version} %{input-file})))
- (preprocessor_deps pp.ml)
- (modules bindlib)
  (wrapped false))