aboutsummaryrefslogtreecommitdiff
path: root/script.it/worker_messages
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2021-01-09 11:35:40 +0100
committerSébastien Dailly <sebastien@chimrod.com>2021-01-09 11:35:40 +0100
commit329b774e315b41bc0d5b7daf8737222768c8d1f3 (patch)
tree94464c12dfa48d5fdb1508b9e8a115b4596d0e34 /script.it/worker_messages
parentc734c1b30fd1c58a0d42020859be31d89b92bcd0 (diff)
Formalized exchanges between worker and app
Diffstat (limited to 'script.it/worker_messages')
-rwxr-xr-xscript.it/worker_messages/dune6
-rwxr-xr-xscript.it/worker_messages/worker_messages.ml11
2 files changed, 17 insertions, 0 deletions
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
+]