From b91a90a4a7bc4cf84ece5c0a712eee81e063c803 Mon Sep 17 00:00:00 2001 From: Leandro Ostera Date: Fri, 6 Nov 2020 09:20:10 +0100 Subject: [PATCH] Fix linting errors --- driver/compile_common.mli | 3 ++- typing/printtyped.ml | 3 ++- typing/printtyped.mli | 3 ++- 3 files changed, 6 insertions(+), 3 deletions(-) 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;;