From 329b774e315b41bc0d5b7daf8737222768c8d1f3 Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Sat, 9 Jan 2021 11:35:40 +0100
Subject: Formalized exchanges between worker and app

---
 script.it/worker_messages/dune               |  6 ++++++
 script.it/worker_messages/worker_messages.ml | 11 +++++++++++
 2 files changed, 17 insertions(+)
 create mode 100755 script.it/worker_messages/dune
 create mode 100755 script.it/worker_messages/worker_messages.ml

(limited to 'script.it/worker_messages')

diff --git a/script.it/worker_messages/dune b/script.it/worker_messages/dune
new file mode 100755
index 0000000..d1511a6
--- /dev/null
+++ b/script.it/worker_messages/dune
@@ -0,0 +1,6 @@
+(library
+ (name worker_messages)
+ (libraries 
+   js_of_ocaml
+   path)
+  )
diff --git a/script.it/worker_messages/worker_messages.ml b/script.it/worker_messages/worker_messages.ml
new file mode 100755
index 0000000..992ec29
--- /dev/null
+++ b/script.it/worker_messages/worker_messages.ml
@@ -0,0 +1,11 @@
+open Js_of_ocaml
+
+type to_worker = [
+  | `Complete of Path.Fixed.t
+  | `DeletePoint of (Path.Point.t * Path.Fixed.t)
+]
+
+type from_worker = [
+  | `Complete of Path.Fixed.t
+  | `Other of Js.js_string Js.t
+]
-- 
cgit v1.2.3