summaryrefslogtreecommitdiff
path: root/script.it/worker.ml
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2021-01-07 14:20:54 +0100
committerSébastien Dailly <sebastien@chimrod.com>2021-01-07 14:20:54 +0100
commit21c386fee208adb7b494d2677d9f49ed49a1c1ce (patch)
treeb1c77a0c1870768a4876ec58cc06962768a3fe75 /script.it/worker.ml
parent06c39bbea3b7f8e6bfec88878ec80f9cc474184f (diff)
Local point configuration
Diffstat (limited to 'script.it/worker.ml')
-rwxr-xr-xscript.it/worker.ml5
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