From 9b9bc4e787d6ecebcf15182a562fc47d27d9880d Mon Sep 17 00:00:00 2001
From: Alex AUVOLAT <alex.auvolat@ens.fr>
Date: Thu, 20 Mar 2014 16:39:16 +0100
Subject: Added implementation with pipes.

---
 src/kahn.ml | 47 +++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 47 insertions(+)

(limited to 'src/kahn.ml')

diff --git a/src/kahn.ml b/src/kahn.ml
index 91b251f..5229f7e 100644
--- a/src/kahn.ml
+++ b/src/kahn.ml
@@ -150,3 +150,50 @@ module Seq: S = struct
 
 end
 
+
+module Pipe: S = struct
+    type 'a process = unit -> 'a
+
+    type 'a in_port = in_channel
+    type 'a out_port = out_channel
+
+    let children = ref []
+
+    let new_channel =
+        fun () ->
+            let i, o = Unix.pipe () in
+            Unix.in_channel_of_descr i, Unix.out_channel_of_descr o
+
+    let get c =
+        fun () -> Marshal.from_channel c
+
+    let put x c =
+        fun () -> Marshal.to_channel c x []
+
+
+    let return v =
+        fun () -> v
+
+    let bind e f =
+        fun () -> f (e ()) ()
+
+    let run p =
+        let v = p() in
+        List.iter
+            (fun x -> try ignore(Unix.waitpid [] x) with _ -> ())
+            !children;
+        v
+
+    let doco l =
+        fun () ->
+            List.iter (fun p ->
+                let i = Unix.fork () in
+                if i = 0 then begin
+                    children := [];
+                    run p;
+                    exit 0
+                end else begin
+                    children := i::!children
+                end)
+            l
+end
-- 
cgit v1.2.3