Adding a stm/ folder, as asked during last workgroup. It was essentially moving

files around. A bunch of files from lib/ that were only used in the STM were
moved, as well as part of toplevel/ related to the STM.

1 files changed, 0 insertions, 30 deletions

diff --git a/lib/workerPool.mli b/lib/workerPool.mli
deleted file mode 100644
index d7a546929..000000000
--- a/lib/workerPool.mli
+++ /dev/null
@@ -1,30 +0,0 @@
-(************************************************************************)
-(*  v      *   The Coq Proof Assistant  /  The Coq Development Team     *)
-(* <O___,, *   INRIA - CNRS - LIX - LRI - PPS - Copyright 1999-2012     *)
-(*   \VV/  **************************************************************)
-(*    //   *      This file is distributed under the terms of the       *)
-(*         *       GNU Lesser General Public License Version 2.1        *)
-(************************************************************************)
-
-module Make(Worker : sig
-  type process
-  val spawn :
-      ?prefer_sock:bool -> ?env:string array -> string -> string array ->
-      process * in_channel * out_channel
-end) : sig
-
-type worker_id = int
-type spawn =
-  args:string array -> env:string array -> unit ->
-    in_channel * out_channel * Worker.process
-
-val init :
-  size:int -> manager:(cancel:bool ref -> worker_id -> spawn -> unit) -> unit
-val is_empty : unit -> bool
-val n_workers : unit -> int
-val cancel : worker_id -> unit
-
-(* The worker should call this function *)
-val worker_handshake : in_channel -> out_channel -> unit
-
-end