aboutsummaryrefslogtreecommitdiff
path: root/script.it/worker_messages
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2021-01-11 11:33:32 +0100
committerSébastien Dailly <sebastien@chimrod.com>2021-01-11 13:55:43 +0100
commit42c3c122c4f53dd68bcdd89411835887c3ae0af9 (patch)
tree856a54955c4bf1648e7f5f1cea809e5601b60c7d /script.it/worker_messages
parent979be5f588a1ffd6e1d060cd794e87526d517b7a (diff)
Outline module
Diffstat (limited to 'script.it/worker_messages')
-rwxr-xr-xscript.it/worker_messages/dune1
-rwxr-xr-xscript.it/worker_messages/worker_messages.ml5
2 files changed, 4 insertions, 2 deletions
diff --git a/script.it/worker_messages/dune b/script.it/worker_messages/dune
index d1511a6..b4e1c2b 100755
--- a/script.it/worker_messages/dune
+++ b/script.it/worker_messages/dune
@@ -2,5 +2,6 @@
(name worker_messages)
(libraries
js_of_ocaml
+ outline
path)
)
diff --git a/script.it/worker_messages/worker_messages.ml b/script.it/worker_messages/worker_messages.ml
index 992ec29..a4d05c8 100755
--- a/script.it/worker_messages/worker_messages.ml
+++ b/script.it/worker_messages/worker_messages.ml
@@ -1,8 +1,9 @@
open Js_of_ocaml
type to_worker = [
- | `Complete of Path.Fixed.t
- | `DeletePoint of (Path.Point.t * Path.Fixed.t)
+ | `Complete of Outline.t
+ | `DeletePoint of (Path.Point.t * Outline.t)
+ | `Back of Outline.t
]
type from_worker = [