From 329b774e315b41bc0d5b7daf8737222768c8d1f3 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Sat, 9 Jan 2021 11:35:40 +0100 Subject: Formalized exchanges between worker and app --- layer/ductusPrinter.ml | 4 ++-- layer/fillPrinter.ml | 4 ++-- layer/linePrinter.ml | 4 ++-- 3 files changed, 6 insertions(+), 6 deletions(-) (limited to 'layer') diff --git a/layer/ductusPrinter.ml b/layer/ductusPrinter.ml index 8383a9c..8f796b4 100755 --- a/layer/ductusPrinter.ml +++ b/layer/ductusPrinter.ml @@ -30,8 +30,8 @@ module Make(Repr: Repr.PRINTER) = struct } let quadratic_to - : Path.Point.t -> Gg.v2 -> Gg.v2 -> Path.Point.t -> repr -> repr - = fun p0 ctrl0 ctrl1 p1 { path } -> + : (t * Gg.v2 * Gg.v2 * t) -> repr -> repr + = fun (p0, ctrl0, ctrl1, p1) { path } -> let path = ref path in diff --git a/layer/fillPrinter.ml b/layer/fillPrinter.ml index 3093ada..19f0ac4 100755 --- a/layer/fillPrinter.ml +++ b/layer/fillPrinter.ml @@ -79,8 +79,8 @@ module Make(Repr: Repr.PRINTER) = struct { t with path} let quadratic_to - : Point.t -> Gg.v2 -> Gg.v2 -> Point.t -> repr -> repr - = fun p0 ctrl0 ctrl1 p1 t -> + : (t * Gg.v2 * Gg.v2 * t) -> repr -> repr + = fun (p0, ctrl0, ctrl1, p1) t -> let ctrl0' = Point.copy p1 ctrl0 and ctrl1' = Point.copy p1 ctrl1 in diff --git a/layer/linePrinter.ml b/layer/linePrinter.ml index 38dae5c..45ee801 100755 --- a/layer/linePrinter.ml +++ b/layer/linePrinter.ml @@ -45,8 +45,8 @@ module Make(Repr: Repr.PRINTER) = struct } let quadratic_to - : Path.Point.t -> Gg.v2 -> Gg.v2 -> Path.Point.t -> repr -> repr - = fun p0 ctrl0 ctrl1 p1 { path } -> + : (t * Gg.v2 * Gg.v2 * t) -> repr -> repr + = fun (p0, ctrl0, ctrl1, p1) { path } -> let path = Repr.move_to (Path.Point.get_coord p0) path |> Repr.quadratic_to ctrl0 ctrl1 (Path.Point.get_coord p1) -- cgit v1.2.3