type t = {range : Range.t;The range we are going to include in the rendered diagnostic.
*)priority : Priority.t;The priority (or style) of the label.
*)message : Message.t;A message providing additional information for the underlined code.
*)}The type of labels.
Labels describe an underlined region of code associated with a diagnostic.
include Ppx_compare_lib.Equal.S with type t := tinclude Ppx_hash_lib.Hashable.S with type t := tval hash_fold_t : Base.Hash.state -> t -> Base.Hash.stateval hash : t -> Base.Hash.hash_valueinclude Sexplib0.Sexpable.S with type t := tval t_of_sexp : Sexplib0.Sexp.t -> tval sexp_of_t : t -> Sexplib0.Sexp.tval create : range:Range.t -> priority:Priority.t -> Message.t -> tcreate ~range ~priority message constructs a label.
the range to underline.
the priority of the label.
val createf : range:Range.t -> priority:Priority.t -> ('a, t) format -> 'acreatef ~range ~priority fmt ... constructs a label with a formatted message.
the range to underline.
the priority of the label.
val kcreatef :
range:Range.t ->
priority:Priority.t ->
(t -> 'b) ->
('a, 'b) format ->
'akcreatef ~range ~priority kont fmt ... is equivalent to kont (createf ~range ~priority fmt ...).
the range to underline.
the priority of the label.
primary ~range message is equivalent to create ~range ~priority:Primary message.
primaryf ~range fmt ... is equivalent to createf ~range ~priority:Primary fmt ....
kprimaryf ~range kont fmt ... is equivalent to kcreatef ~range ~priority:Primary kont fmt ....
secondary ~range message is equivalent to create ~range ~priority:Secondary message.
secondaryf ~range fmt ... is equivalent to createf ~range ~priority:Secondary fmt ....