Diagnostic types and constructors.
type ('a, 'b) format = ('a, Stdlib.Format.formatter, unit, 'b) Core.format4The type of format strings associated with messages.
Format.formatter%a and %t printing functions is unit.module Severity : sig ... endThe type of severity.
module Priority : sig ... endThe type of priority. These are used to style the primary and secondary causes of a diagnostic.
module Message : sig ... endmodule Label : sig ... endtype t = {severity : Severity.t;The overall severity of the diagnostic.
*)message : Message.t;The main message associated with the diagnostic. These should not include control characters (such as the newline character \n). To support compact rendering, the message should be specific enough to make sense on its own, without the additional context provided by labels and notes.
labels : Label.t list;Labels that describe the cause of the diagnostic. The order of the labels has no meaning, Grace's rendering engine will determine the order they appear.
*)notes : Message.t list;Notes that are associated with the primary cause of the diagnostic.
*)}The type of diagnostics.
include Sexplib0.Sexpable.S with type t := tval t_of_sexp : Sexplib0.Sexp.t -> tval sexp_of_t : t -> Sexplib0.Sexp.tval create :
?notes:Message.t list ->
?labels:Label.t list ->
Severity.t ->
Message.t ->
tcreate severity message constructs a diagnostic with the message.
additional notes associated with the primary cause of the diagnostic.
used to describe the cause of the diagnostic.
val createf :
?notes:Message.t list ->
?labels:Label.t list ->
Severity.t ->
('a, t) format ->
'acreatef severity fmt ... formats a message and constructs a diagnostic.
additional notes associated with the primary cause of the diagnostic.
used to describe the cause of the diagnostic.
val kcreatef :
?notes:Message.t list ->
?labels:Label.t list ->
(t -> 'b) ->
Severity.t ->
('a, 'b) format ->
'akcreatef kont severity fmt ... is equivalent to kont (createf severity fmt ...).
additional notes associated with the primary cause of the diagnostic.
used to describe the cause of the diagnostic.