| Builtin_attributes(3o) | OCaml library | Builtin_attributes(3o) |
Builtin_attributes - Support for some of the builtin attributes
Module Builtin_attributes
Module Builtin_attributes
: sig end
Support for some of the builtin attributes
-ocaml.deprecated
-ocaml.alert
-ocaml.error
-ocaml.ppwarning
-ocaml.warning
-ocaml.warnerror
-ocaml.explicit_arity (for camlp4/camlp5)
-ocaml.warn_on_literal_pattern
-ocaml.deprecated_mutable
-ocaml.immediate
-ocaml.immediate64
-ocaml.boxed / ocaml.unboxed
Warning: this module is unstable and part of Compiler_libs .
val check_alerts : Location.t -> Parsetree.attributes -> string -> unit
val check_alerts_inclusion : def:Location.t -> use:Location.t -> Location.t -> Parsetree.attributes -> Parsetree.attributes -> string -> unit
val alerts_of_attrs : Parsetree.attributes -> Misc.alerts
val alerts_of_sig : Parsetree.signature -> Misc.alerts
val alerts_of_str : Parsetree.structure -> Misc.alerts
val check_deprecated_mutable : Location.t -> Parsetree.attributes -> string -> unit
val check_deprecated_mutable_inclusion : def:Location.t -> use:Location.t -> Location.t -> Parsetree.attributes -> Parsetree.attributes -> string -> unit
val check_no_alert : Parsetree.attributes -> unit
val error_of_extension : Parsetree.extension -> Location.error
val warning_attribute : ?ppwarning:bool -> Parsetree.attribute -> unit
Apply warning settings from the specified attribute. "ocaml.warning"/"ocaml.warnerror" (and variants without the prefix) are processed and other attributes are ignored.
Also implement ocaml.ppwarning (unless ~ppwarning:false is passed).
val warning_scope : ?ppwarning:bool -> Parsetree.attributes -> (unit -> 'a) -> 'a
Execute a function in a new scope for warning settings. This means that the effect of any call to warning_attribute during the execution of this function will be discarded after execution.
The function also takes a list of attributes which are processed with warning_attribute in the fresh scope before the function is executed.
val warn_on_literal_pattern : Parsetree.attributes -> bool
val explicit_arity : Parsetree.attributes -> bool
val immediate : Parsetree.attributes -> bool
val immediate64 : Parsetree.attributes -> bool
val has_unboxed : Parsetree.attributes -> bool
val has_boxed : Parsetree.attributes -> bool
| 2023-02-12 | OCamldoc |