diff options
| author | Sébastien Dailly <sebastien@dailly.me> | 2022-02-22 14:14:04 +0100 |
|---|---|---|
| committer | Sébastien Dailly <sebastien@dailly.me> | 2022-02-22 14:14:04 +0100 |
| commit | 89dbb39c3fcd188ef7acf092061d756046b2c5d4 (patch) | |
| tree | 951b430d7e99003dd97b44675f206248bb95a858 /script.it/worker_messages | |
| parent | 82bb54622a47bb092094c8efab8200b12817c5b4 (diff) | |
Reformating
Diffstat (limited to 'script.it/worker_messages')
| -rwxr-xr-x | script.it/worker_messages/dune | 2 | ||||
| -rwxr-xr-x | script.it/worker_messages/worker_messages.ml | 28 |
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 -] + ] |