diff options
| author | alainfrisch <alain@frisch.fr> | 2015-11-27 19:13:56 +0100 |
|---|---|---|
| committer | alainfrisch <alain@frisch.fr> | 2015-11-27 19:13:56 +0100 |
| commit | 945d0c7d7a36866e563ea181358b7c997738c421 (patch) | |
| tree | cbeb8f71d42bdfc657cae2ae1ba43a8c9868defe /driver/optcompile.ml | |
| parent | 647a8cc438d5743986bc8149c92ebffa8d8d13dc (diff) | |
| download | ocaml-945d0c7d7a36866e563ea181358b7c997738c421.tar.gz | |
Keep deprecation flag on compilation unit, extracted from a floating attribute in the .mli file.
Diffstat (limited to 'driver/optcompile.ml')
| -rw-r--r-- | driver/optcompile.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/driver/optcompile.ml b/driver/optcompile.ml index b4265c0bff..64bb6dabda 100644 --- a/driver/optcompile.ml +++ b/driver/optcompile.ml @@ -43,7 +43,8 @@ let interface ppf sourcefile outputprefix = Typecore.force_delayed_checks (); Warnings.check_fatal (); if not !Clflags.print_types then begin - let sg = Env.save_signature sg modulename (outputprefix ^ ".cmi") in + let deprecated = Typetexp.deprecated_of_sig ast in + let sg = Env.save_signature ~deprecated sg modulename (outputprefix ^ ".cmi") in Typemod.save_signature modulename tsg outputprefix sourcefile initial_env sg ; end |