Move typed_impl to Typedtree.t

5 files changed, 8 insertions, 8 deletions

diff --git a/driver/compile.ml b/driver/compile.ml
index 9549563273..7a88388c35 100644
--- a/driver/compile.ml
+++ b/driver/compile.ml
@@ -27,7 +27,7 @@ let interface ~source_file ~output_prefix =
 
 (** Bytecode compilation backend for .ml files. *)
 
-let to_bytecode i Typemod.{structure; coercion; _} =
+let to_bytecode i Typedtree.{structure; coercion; _} =
   (structure, coercion)
   |> Profile.(record transl)
     (Translmod.transl_implementation i.module_name)
diff --git a/driver/compile.mli b/driver/compile.mli
index 0256bd43a2..32872b1ea7 100644
--- a/driver/compile.mli
+++ b/driver/compile.mli
@@ -25,7 +25,7 @@ val implementation:
 
 val to_bytecode :
   Compile_common.info ->
-  Typemod.typed_impl ->
+  Typedtree.t ->
   Instruct.instruction list * Ident.Set.t
 (** [to_bytecode info typed] takes a typechecked implementation
     and returns its bytecode.
diff --git a/driver/compile_common.mli b/driver/compile_common.mli
index 170cddea80..6a062aba41 100644
--- a/driver/compile_common.mli
+++ b/driver/compile_common.mli
@@ -68,13 +68,13 @@ val interface : info -> unit
 val parse_impl : info -> Parsetree.structure
 (** [parse_impl info] parses an implementation (usually an [.ml] file). *)
 
-val typecheck_impl : info -> Parsetree.structure -> Typemod.typed_impl
+val typecheck_impl : info -> Parsetree.structure -> Typedtree.t
 (** [typecheck_impl info parsetree] typechecks an implementation and returns
     the typedtree of the associated module, its public interface, and a
     coercion against that public interface.
 *)
 
-val implementation : info -> backend:(info -> Typemod.typed_impl -> unit) -> unit
+val implementation : info -> backend:(info -> Typedtree.t -> unit) -> unit
 (** The complete compilation pipeline for implementations. *)
 
 (** {2 Build artifacts} *)
diff --git a/driver/optcompile.ml b/driver/optcompile.ml
index 99f2c0751c..51fc23cfb6 100644
--- a/driver/optcompile.ml
+++ b/driver/optcompile.ml
@@ -31,7 +31,7 @@ let (|>>) (x, y) f = (x, f y)
 
 (** Native compilation backend for .ml files. *)
 
-let flambda i backend Typemod.{structure; coercion; _} =
+let flambda i backend Typedtree.{structure; coercion; _} =
   if !Clflags.classic_inlining then begin
     Clflags.default_simplify_rounds := 1;
     Clflags.use_inlining_arguments_set Clflags.classic_arguments;
@@ -66,7 +66,7 @@ let flambda i backend Typemod.{structure; coercion; _} =
         program);
     Compilenv.save_unit_info (cmx i))
 
-let clambda i backend Typemod.{structure; coercion; _} =
+let clambda i backend Typedtree.{structure; coercion; _} =
   Clflags.use_inlining_arguments_set Clflags.classic_arguments;
   (structure, coercion)
   |> Profile.(record transl)
diff --git a/driver/optcompile.mli b/driver/optcompile.mli
index bc91ac60e2..5163777985 100644
--- a/driver/optcompile.mli
+++ b/driver/optcompile.mli
@@ -25,13 +25,13 @@ val implementation:
 (** {2 Internal functions} **)
 
 val clambda :
-  Compile_common.info -> (module Backend_intf.S) -> Typemod.typed_impl-> unit
+  Compile_common.info -> (module Backend_intf.S) -> Typedtree.t-> unit
 (** [clambda info typed] applies the regular compilation pipeline to the
     given typechecked implementation and outputs the resulting files.
 *)
 
 val flambda :
-  Compile_common.info -> (module Backend_intf.S) -> Typemod.typed_impl -> unit
+  Compile_common.info -> (module Backend_intf.S) -> Typedtree.t -> unit
 (** [flambda info backend typed] applies the Flambda compilation pipeline to the
     given typechecked implementation and outputs the resulting files.
 *)