diff options
| author | Alain Frisch <alain@frisch.fr> | 2012-05-25 13:27:48 +0000 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2012-05-25 13:27:48 +0000 |
| commit | 12568313eff1083bb68ffc9d0686e4d54b5dda88 (patch) | |
| tree | 3d45b0b81de86a08e6206e9a04c0d6635c8ac20b | |
| parent | a745e3c6feaddf139e22faea4613fefc89db73ec (diff) | |
Detecting unused open in .mli files also in ocamlopt.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12484 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | driver/optcompile.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/driver/optcompile.ml b/driver/optcompile.ml index 1e6ab0ce3..16be592d6 100644 --- a/driver/optcompile.ml +++ b/driver/optcompile.ml @@ -84,6 +84,8 @@ let interface ppf sourcefile outputprefix = if !Clflags.print_types then fprintf std_formatter "%a@." Printtyp.signature (Typemod.simplify_signature sg); + ignore (Includemod.signatures (initial_env()) sg sg); + Typecore.force_delayed_checks (); Warnings.check_fatal (); if not !Clflags.print_types then Env.save_signature sg modulename (outputprefix ^ ".cmi"); |