[CI] Fix for 4.10

colibrics.opam

@@ -3,7 +3,14 @@ opam-version: "2.0"
 homepage: "https://git.frama-c.com/bobot/colibri2"
 bug-reports: "https://git.frama-c.com/bobot/colibri2/issues"
 depends: [
+  "ppx_deriving_yojson"
+  "dolmen" {>= "0.5~dev"}
+  "dolmen_type" {>= "0.5~dev"}
+  "dolmen_loop" {>= "0.5~dev"}
   "dune" {>= "2.7"}
+  "zarith"
+  "cmdliner"
+  "ocaml" {>= "4.08"}
   "odoc" {with-doc}
 ]
 build: [

dune-project

@@ -6,6 +6,16 @@
 (name colibrics)
 (package
   (name colibrics)
+  (depends
+    "ppx_deriving_yojson"
+    ("dolmen" (>= "0.5~dev"))
+    ("dolmen_type" (>= "0.5~dev"))
+    ("dolmen_loop" (>= "0.5~dev"))
+    "dune"
+    "zarith"
+    "cmdliner"
+    ("ocaml" (>= "4.08"))
+  )
 )
 
 (source (uri "git+https://git.frama-c.com/bobot/colibri2.git"))

src_colibri2/core/demon.mli

@@ -120,7 +120,7 @@ module Fast: sig
 
   end
 
-  module Register (D:S): sig
+  module Register (_:S): sig
     val init: Egraph.t -> unit
     (** to run for each new delay *)
   end

src_colibri2/popop_lib/TimeWheel.mli

@@ -33,14 +33,14 @@ include (S with type context := unit)
 
 module Make
     (Context: sig type t end)
-    (Array:
+    (_:
      sig
        type 'a t
        val create: Context.t -> int -> 'a -> 'a t
        val get: 'a t -> int -> 'a
        val set: 'a t -> int -> 'a -> unit
      end)
-    (Ref:sig
+    (_:sig
        type 'a t
        val create: Context.t -> 'a -> 'a t
        val get: 'a t -> 'a

src_colibri2/popop_lib/strings.mli

@@ -32,7 +32,7 @@ module Hashcons :
   val pp: t Pp.pp
 end
 
-module Make (X : sig end): module type of Hashcons
+module Make (_ : sig end): module type of Hashcons
 
 module type Fresh = sig
   type t = private int
@@ -45,6 +45,6 @@ module type Fresh = sig
     (** to use with care *)
 end
 
-module Fresh (X : sig end) : Fresh
+module Fresh (_ : sig end) : Fresh
 
 val find_new_name: int Popop_stdlib.DStr.H.t -> string -> string

src_colibri2/stdlib/comp_keys.mli

@@ -125,7 +125,7 @@ module type Key = sig
     end) : Registry with type 'a key := 'a t and type 'a data = 'a S.data
 end
 
-module Make_key(X:sig end) : Key
+module Make_key(_:sig end) : Key
 
 module type Registry2 = sig
   type ('k,'d) key
@@ -184,4 +184,4 @@ module type Key2 = sig
 
 end
 
-module Make_key2(X:sig end): Key2
+module Make_key2(_:sig end): Key2

src_colibri2/stdlib/keys.mli

@@ -27,8 +27,8 @@
 
 include module type of Keys_sig
 
-module Make_key(X:sig end) : Key
-module Make_key2(X:sig end): Key2
+module Make_key(_:sig end) : Key
+module Make_key2(_:sig end): Key2
 
 [%%else]