diff --git a/driver/compile_common.mli b/driver/compile_common.mli index e3a890a27..c2f29cbe3 100644 --- a/driver/compile_common.mli +++ b/driver/compile_common.mli @@ -74,7 +74,8 @@ val typecheck_impl : info -> Parsetree.structure -> Typedtree.implementation coercion against that public interface. *) -val implementation : info -> backend:(info -> Typedtree.implementation -> unit) -> unit +val implementation : + info -> backend:(info -> Typedtree.implementation -> unit) -> unit (** The complete compilation pipeline for implementations. *) (** {2 Build artifacts} *) diff --git a/typing/printtyped.ml b/typing/printtyped.ml index eb9a06cf5..ccf93f1b7 100644 --- a/typing/printtyped.ml +++ b/typing/printtyped.ml @@ -942,4 +942,5 @@ let interface ppf x = list 0 signature_item ppf x.sig_items;; let implementation ppf x = list 0 structure_item ppf x.str_items;; -let implementation_with_coercion ppf Typedtree.{structure; _} = implementation ppf structure +let implementation_with_coercion ppf Typedtree.{structure; _} = + implementation ppf structure diff --git a/typing/printtyped.mli b/typing/printtyped.mli index 6799b869d..538a3faae 100644 --- a/typing/printtyped.mli +++ b/typing/printtyped.mli @@ -19,4 +19,5 @@ open Format;; val interface : formatter -> signature -> unit;; val implementation : formatter -> structure -> unit;; -val implementation_with_coercion : formatter -> Typedtree.implementation -> unit;; +val implementation_with_coercion : + formatter -> Typedtree.implementation -> unit;;