Remove dependency to Domainslib

Author: OlivierNicole

dune-project

@@ -32,8 +32,7 @@ sequential and parallel tests against a declarative model.")
  (depends
   (ocaml (>= 4.12))
   (qcheck-core           (>= "0.20"))
-  (qcheck-multicoretests-util (= :version))
-  (domainslib (>= 0.5.1))))
+  (qcheck-multicoretests-util (= :version))))
 
 (package
  (name qcheck-lin)
@@ -48,8 +47,7 @@ and explained by some sequential interleaving.")
  (depends
   (ocaml (>= 4.12))
   (qcheck-core           (>= "0.20"))
-  (qcheck-multicoretests-util (= :version))
-  (domainslib (>= 0.5.1))))
+  (qcheck-multicoretests-util (= :version))))
 
 (package
  (name qcheck-multicoretests-util)

lib/dune

@@ -53,4 +53,4 @@
  (name util)
  (public_name qcheck-multicoretests-util)
  (modules util)
- (libraries qcheck-core.runner unix domainslib))
+ (libraries qcheck-core.runner unix))

lib/util.ml

@@ -322,8 +322,6 @@ module Equal = struct
   let equal_array eq x y = equal_seq eq (Array.to_seq x) (Array.to_seq y)
 end
 
-module Chan = Domainslib.Chan
-
 module Domain_pair = struct
   type 'a promise =
     { mutable result : 'a option;

qcheck-lin.opam

@@ -25,7 +25,6 @@ depends: [
   "ocaml" {>= "4.12"}
   "qcheck-core" {>= "0.20"}
   "qcheck-multicoretests-util" {= version}
-  "domainslib" {>= "0.5.1"}
   "odoc" {with-doc}
 ]
 depopts: ["base-domains"]

qcheck-stm.opam

@@ -25,7 +25,6 @@ depends: [
   "ocaml" {>= "4.12"}
   "qcheck-core" {>= "0.20"}
   "qcheck-multicoretests-util" {= version}
-  "domainslib" {>= "0.5.1"}
   "odoc" {with-doc}
 ]
 depopts: ["base-domains"]