diff options
Diffstat (limited to 'script.it/worker_messages/worker_messages.ml')
| -rwxr-xr-x | script.it/worker_messages/worker_messages.ml | 28 |
1 files changed, 13 insertions, 15 deletions
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 -] + ] |