# 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