aboutsummaryrefslogtreecommitdiff
path: root/script.it/worker_messages
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@dailly.me>2022-02-22 14:14:04 +0100
committerSébastien Dailly <sebastien@dailly.me>2022-02-22 14:14:04 +0100
commit89dbb39c3fcd188ef7acf092061d756046b2c5d4 (patch)
tree951b430d7e99003dd97b44675f206248bb95a858 /script.it/worker_messages
parent82bb54622a47bb092094c8efab8200b12817c5b4 (diff)
Reformating
Diffstat (limited to 'script.it/worker_messages')
-rwxr-xr-xscript.it/worker_messages/dune2
-rwxr-xr-xscript.it/worker_messages/worker_messages.ml28
2 files changed, 14 insertions, 16 deletions
diff --git a/script.it/worker_messages/dune b/script.it/worker_messages/dune
index b4e1c2b..5b80cd3 100755
--- a/script.it/worker_messages/dune
+++ b/script.it/worker_messages/dune
@@ -3,5 +3,5 @@
(libraries
js_of_ocaml
outline
- path)
+ script_path)
)
diff --git a/script.it/worker_messages/worker_messages.ml b/script.it/worker_messages/worker_messages.ml
index 7efd3d3..2d07895 100755
--- a/script.it/worker_messages/worker_messages.ml
+++ b/script.it/worker_messages/worker_messages.ml
@@ -1,19 +1,17 @@
open Js_of_ocaml
+module Path = Script_path
-type to_worker = [
- | `Complete of Outline.t
- | `DeletePoint of (Path.Point.t * Outline.t)
+type to_worker =
+ [ `Complete of Outline.t
+ | `DeletePoint of Path.Point.t * Outline.t
+ | (* Update the interior path *)
+ `Back of Outline.t
+ | (* Translate a path *)
+ `TranslatePath of Outline.t * Gg.v2
+ | `TranslatePoint of Path.Point.t * Outline.t
+ ]
- (* Update the interior path *)
- | `Back of Outline.t
-
- (* Translate a path *)
- | `TranslatePath of (Outline.t * Gg.v2)
-
- | `TranslatePoint of (Path.Point.t * Outline.t)
-]
-
-type from_worker = [
- | `Complete of Outline.t
+type from_worker =
+ [ `Complete of Outline.t
| `Other of Js.js_string Js.t
-]
+ ]