From 89dbb39c3fcd188ef7acf092061d756046b2c5d4 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Tue, 22 Feb 2022 14:14:04 +0100 Subject: Reformating --- script.it/worker_messages/dune | 2 +- script.it/worker_messages/worker_messages.ml | 28 +++++++++++++--------------- 2 files changed, 14 insertions(+), 16 deletions(-) (limited to 'script.it/worker_messages') 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 -] + ] -- cgit v1.2.3