Module `Ocaml_parsing.Builtin_attributes`Source

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.

Sourceval 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

Sourceval alerts_of_attrs : Parsetree.attributes -> Merlin_utils.Misc.alerts

Sourceval alerts_of_sig : Parsetree.signature -> Merlin_utils.Misc.alerts

Sourceval alerts_of_str : Parsetree.structure -> Merlin_utils.Misc.alerts

Source

val check_deprecated_mutable : 
  Location.t ->
  Parsetree.attributes ->
  string ->
  unit

Source

val check_deprecated_mutable_inclusion : 
  def:Location.t ->
  use:Location.t ->
  Location.t ->
  Parsetree.attributes ->
  Parsetree.attributes ->
  string ->
  unit

Sourceval check_no_alert : Parsetree.attributes -> unit

Sourceval error_of_extension : Parsetree.extension -> Location.error

Sourceval 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).

Source

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.

Sourceval warn_on_literal_pattern : Parsetree.attributes -> bool

Sourceval explicit_arity : Parsetree.attributes -> bool

Sourceval immediate : Parsetree.attributes -> bool

Sourceval immediate64 : Parsetree.attributes -> bool

Sourceval has_unboxed : Parsetree.attributes -> bool

Sourceval has_boxed : Parsetree.attributes -> bool

Install

Dune Dependency

Authors

Maintainers

Sources

doc/merlin-lib.ocaml_parsing/Ocaml_parsing/Builtin_attributes/index.html

Module `Ocaml_parsing.Builtin_attributes`Source

package merlin-lib

Install

Dune Dependency

Authors

Maintainers

Sources

doc/merlin-lib.ocaml_parsing/Ocaml_parsing/Builtin_attributes/index.html

Module Ocaml_parsing.Builtin_attributesSource

Module `Ocaml_parsing.Builtin_attributes`Source