summaryrefslogtreecommitdiff
path: root/typing/typetexp.mli
diff options
context:
space:
mode:
authoralainfrisch <alain@frisch.fr>2015-12-01 17:11:27 +0100
committeralainfrisch <alain@frisch.fr>2015-12-01 17:11:27 +0100
commit114e73386463e69922362f006db16f9b3c5935ff (patch)
tree94f7071b646979b589b06ab2724d5b824383ca71 /typing/typetexp.mli
parent6018c023aaceae438383d060dee712e12f6a437e (diff)
downloadocaml-114e73386463e69922362f006db16f9b3c5935ff.tar.gz
Store deprecated flag in 'module components' and raise the deprecated warning when accessing a component from a deprecated module if is has been marked, even for non-toplevel modules.
Diffstat (limited to 'typing/typetexp.mli')
-rw-r--r--typing/typetexp.mli1
1 files changed, 1 insertions, 0 deletions
diff --git a/typing/typetexp.mli b/typing/typetexp.mli
index 58d3bb5786..835917322f 100644
--- a/typing/typetexp.mli
+++ b/typing/typetexp.mli
@@ -110,6 +110,7 @@ val unbound_constructor_error: Env.t -> Longident.t Location.loc -> 'a
val unbound_label_error: Env.t -> Longident.t Location.loc -> 'a
val check_deprecated: Location.t -> Parsetree.attributes -> string -> unit
+val deprecated_of_attrs: Parsetree.attributes -> string option
val deprecated_of_sig: Parsetree.signature -> string option
val warning_enter_scope: unit -> unit