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 056316a697..be0de631a7 100755 --- a/parsing/builtin_attributes.mli +++ b/parsing/builtin_attributes.mli @@ -42,6 +42,8 @@ val check_deprecated_mutable_inclusion: def:Location.t -> use:Location.t -> Location.t -> Parsetree.attributes -> Parsetree.attributes -> string -> unit +val check_no_deprecated : Parsetree.attributes -> unit + val error_of_extension: Parsetree.extension -> Location.error val warning_attribute: ?ppwarning:bool -> Parsetree.attribute -> unit |