From 21c386fee208adb7b494d2677d9f49ed49a1c1ce Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Thu, 7 Jan 2021 14:20:54 +0100 Subject: Local point configuration --- script.it/worker.ml | 5 ----- 1 file changed, 5 deletions(-) (limited to 'script.it/worker.ml') diff --git a/script.it/worker.ml b/script.it/worker.ml index e68705a..6f425cd 100755 --- a/script.it/worker.ml +++ b/script.it/worker.ml @@ -6,26 +6,21 @@ type message = [ | `DeletePoint of (int * Path.Point.t * Path.Fixed.t) ] -exception Empty_Element - let get_point : Path.Fixed.path -> Gg.v2 = function - | Empty -> raise Empty_Element | Line (_, p1) -> Path.Point.get_coord p1 | Curve bezier -> Path.Point.get_coord bezier.Path.Fixed.p1 let first_point : Path.Fixed.path -> Gg.v2 = function - | Empty -> raise Empty_Element | Line (p0, _) -> Path.Point.get_coord p0 | Curve bezier -> Path.Point.get_coord bezier.Path.Fixed.p0 let assoc_point : Shapes.Bezier.t -> Path.Fixed.path -> Path.Fixed.path = fun bezier -> function - | Empty -> raise Empty_Element | Line (p0, p1) | Curve {p0; p1; _} -> let p0' = Path.Point.copy p0 bezier.Shapes.Bezier.p0 -- cgit v1.2.3