From 6e750a757ef6fb1f41cf4c2fe39edba834b76858 Mon Sep 17 00:00:00 2001
From: Alex AUVOLAT <alex.auvolat@ens.fr>
Date: Sat, 24 May 2014 23:25:07 +0200
Subject: ./manager -local-proc 4 ./example.native does what expected.

---
 src/proto.ml | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 src/proto.ml

(limited to 'src/proto.ml')

diff --git a/src/proto.ml b/src/proto.ml
new file mode 100644
index 0000000..f0517d4
--- /dev/null
+++ b/src/proto.ml
@@ -0,0 +1,21 @@
+open Util
+
+(* Protocol definitions *)
+
+type task = unit -> unit
+type msg_task = string -> unit
+type task_descr = string
+type msg_task_descr = string
+
+exception ProtocolError of string
+
+type message =
+	| Hello
+	| Get of id * msg_task_descr
+	| Put of id * string
+	| RequestTask
+	| GiveTask of task_descr * bool
+	| GiveMsgTask of string * msg_task_descr
+	| FinalResult of string
+	
+
-- 
cgit v1.2.3