From d103a645df233dd40064e968fa8693607defa6a7 Mon Sep 17 00:00:00 2001 From: Pierre Letouzey Date: Fri, 23 May 2014 17:19:59 +0200 Subject: Extraction: discard unnecessary code inside modules without signatures In the case of an inner module without explicit signature, (and not used later in a functor application), we now extract only the needed items (used later or asked by the user), instead of blindly extracting all fields as earlier. --- plugins/extraction/modutil.mli | 2 ++ 1 file changed, 2 insertions(+) (limited to 'plugins/extraction/modutil.mli') diff --git a/plugins/extraction/modutil.mli b/plugins/extraction/modutil.mli index 88ead482b..d09820c37 100644 --- a/plugins/extraction/modutil.mli +++ b/plugins/extraction/modutil.mli @@ -23,6 +23,8 @@ val spec_iter_references : do_ref -> do_ref -> do_ref -> ml_spec -> unit val signature_of_structure : ml_structure -> ml_signature +val mtyp_of_mexpr : ml_module_expr -> ml_module_type + val msid_of_mt : ml_module_type -> module_path val get_decl_in_structure : global_reference -> ml_structure -> ml_decl -- cgit v1.2.3