diff options
Diffstat (limited to 'parsing/builtin_attributes.mli')
| -rwxr-xr-x | parsing/builtin_attributes.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/parsing/builtin_attributes.mli b/parsing/builtin_attributes.mli index 0c645f61ef..927d370e70 100755 --- a/parsing/builtin_attributes.mli +++ b/parsing/builtin_attributes.mli @@ -32,6 +32,8 @@ val check_deprecated: Location.t -> Parsetree.attributes -> string -> unit val check_deprecated_inclusion: def:Location.t -> use:Location.t -> Location.t -> Parsetree.attributes -> Parsetree.attributes -> string -> unit +val partition_deprecated_attrs: + Parsetree.attributes -> Parsetree.attributes * Parsetree.attributes val deprecated_of_attrs: Parsetree.attributes -> string option val deprecated_of_sig: Parsetree.signature -> string option val deprecated_of_str: Parsetree.structure -> string option |