From 3be9e19c17328f109b403305d95084fb81936a20 Mon Sep 17 00:00:00 2001 From: Leandro Ostera Date: Thu, 5 Nov 2020 18:49:27 +0100 Subject: [PATCH] Fix dependency between Printtyped and Typemod --- .depend | 2 ++ typing/printtyped.mli | 3 +-- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/.depend b/.depend index 487599130..d6e7fe706 100644 --- a/.depend +++ b/.depend @@ -1010,6 +1010,7 @@ typing/printtyp.cmi : \ parsing/asttypes.cmi typing/printtyped.cmo : \ typing/types.cmi \ + typing/typemod.cmi \ typing/typedtree.cmi \ parsing/printast.cmi \ typing/path.cmi \ @@ -1022,6 +1023,7 @@ typing/printtyped.cmo : \ typing/printtyped.cmi typing/printtyped.cmx : \ typing/types.cmx \ + typing/typemod.cmx \ typing/typedtree.cmx \ parsing/printast.cmx \ typing/path.cmx \ diff --git a/typing/printtyped.mli b/typing/printtyped.mli index 3e0e949ca..951354abf 100644 --- a/typing/printtyped.mli +++ b/typing/printtyped.mli @@ -19,5 +19,4 @@ open Format;; val interface : formatter -> signature -> unit;; val implementation : formatter -> structure -> unit;; -val implementation_with_coercion : - formatter -> Typemod.typed_impl -> unit;; +val implementation_with_coercion : formatter -> Typemod.typed_impl -> unit;;