diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2021-01-07 21:54:46 +0100 |
---|---|---|
committer | Sébastien Dailly <sebastien@chimrod.com> | 2021-01-09 06:27:18 +0100 |
commit | 32618a5ce8e2b306af102e4c16711b090c36b840 (patch) | |
tree | 1c22b5bcf9f29e9ff0118cfa9aedd6fb05c9ab0f /layer | |
parent | 6e5c6bf7beadc72e64e5d929e301b473b01c9303 (diff) |
Allow point movement
Diffstat (limited to 'layer')
-rwxr-xr-x | layer/linePrinter.ml | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/layer/linePrinter.ml b/layer/linePrinter.ml index c15bcc9..38dae5c 100755 --- a/layer/linePrinter.ml +++ b/layer/linePrinter.ml @@ -37,9 +37,10 @@ module Make(Repr: Repr.PRINTER) = struct let line_to : Path.Point.t -> Path.Point.t -> repr -> repr - = fun _ t {path} -> - let path = Repr.line_to (Path.Point.get_coord t) path - |> mark t in + = fun p0 p1 {path} -> + let path = Repr.move_to (Path.Point.get_coord p0) path + |> Repr.line_to (Path.Point.get_coord p1) + |> mark p1 in { path } |