aboutsummaryrefslogtreecommitdiff
path: root/script.it/worker_messages
diff options
context:
space:
mode:
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
+]