diff options
Diffstat (limited to 'parsing/builtin_attributes.mli')
| -rwxr-xr-x | parsing/builtin_attributes.mli | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/parsing/builtin_attributes.mli b/parsing/builtin_attributes.mli index be0de631a7..89a5818700 100755 --- a/parsing/builtin_attributes.mli +++ b/parsing/builtin_attributes.mli @@ -35,6 +35,12 @@ val check_deprecated_inclusion: val deprecated_of_attrs: Parsetree.attributes -> string option val deprecated_of_sig: Parsetree.signature -> string option val deprecated_of_str: Parsetree.structure -> string option +val deprecated_arguments_of_attrs: + Parsetree.attributes -> (bool * string * string) list + (* (b, label, message) + b = true -> warn if argument is passed + b = false -> warn if argument is missing + *) val check_deprecated_mutable: Location.t -> Parsetree.attributes -> string -> unit |