From af88c8895bba85fe5340b34aafb3dce7650bd01f Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Fri, 1 Jan 2021 11:08:38 +0100
Subject: Use first type module instead of functors

---
 path/wireFramePrinter.ml | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

(limited to 'path/wireFramePrinter.ml')

diff --git a/path/wireFramePrinter.ml b/path/wireFramePrinter.ml
index 47eb9d4..796bbd9 100755
--- a/path/wireFramePrinter.ml
+++ b/path/wireFramePrinter.ml
@@ -1,14 +1,14 @@
 module Make(Repr: Layer.Repr.PRINTER) = struct
   type t = Point.t
 
-  type 'a repr =
-    { back: ('a Repr.t -> 'a Repr.t)
-    ; path: ('a Repr.t)
+  type repr =
+    { back: (Repr.t -> Repr.t)
+    ; path: (Repr.t)
     ; last_point : Point.t option
     }
 
   let create_path
-    : 'b -> 'a repr
+    : 'b -> repr
     = fun _ ->
       { back = Repr.close
       ; path = Repr.create ()
@@ -17,7 +17,7 @@ module Make(Repr: Layer.Repr.PRINTER) = struct
 
   (* Start a new path. *)
   let start
-    : Point.t -> 'a repr -> 'a repr
+    : Point.t -> repr -> repr
     = fun t {back; path; _} ->
       let path = Repr.move_to (Point.get_coord t) path in
       let line' = Repr.line_to (Point.get_coord' t) in
@@ -27,7 +27,7 @@ module Make(Repr: Layer.Repr.PRINTER) = struct
       }
 
   let line_to
-    : Point.t -> Point.t -> 'a repr -> 'a repr
+    : Point.t -> Point.t -> repr -> repr
     = fun _ t {back; path; _} ->
       let line' = Repr.line_to (Point.get_coord' t) in
       { back = (fun t -> back @@ line' t)
@@ -36,7 +36,7 @@ module Make(Repr: Layer.Repr.PRINTER) = struct
       }
 
   let quadratic_to
-    : Point.t -> Gg.v2 -> Gg.v2 -> Point.t -> 'a repr -> 'a repr
+    : Point.t -> Gg.v2 -> Gg.v2 -> Point.t -> repr -> repr
     = fun p0 ctrl0 ctrl1 p1 t ->
 
       let ctrl0' = Point.copy p1 ctrl0
@@ -59,7 +59,7 @@ module Make(Repr: Layer.Repr.PRINTER) = struct
       }
 
   let stop
-    : 'a repr -> 'a repr
+    : repr -> repr
     = fun {back; path; last_point} ->
 
       let path =
@@ -72,7 +72,7 @@ module Make(Repr: Layer.Repr.PRINTER) = struct
       ; last_point = None }
 
   let get
-    : 'a repr -> 'a Repr.t
+    : repr -> Repr.t
     = fun {back; path; _} ->
       back path
 end
-- 
cgit v1.2.3