diff options
Diffstat (limited to 'script.it/worker.ml')
-rwxr-xr-x | script.it/worker.ml | 5 |
1 files changed, 0 insertions, 5 deletions
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 |