Diagnostic (stanc.Frontend.Diagnostic)

val range_of_loc_span : 
  ?printed_filename:string ->
  ?code:string ->
  Middle.Location_span.t ->
  Grace.Range.t * Grace.Diagnostic.Label.t list

Returns the range represented by the location span and a list of secondary diagnostics identifying where it was included from, if applicable

val make : 
  ?printed_filename:string ->
  ?code:string ->
  ?labels:Grace.Diagnostic.Label.t list ->
  ?notes:Grace.Diagnostic.Message.t list ->
  ?summary:Grace.Diagnostic.Message.t ->
  Middle.Location_span.t ->
  Grace.Diagnostic.Severity.t ->
  ('a, 'b Grace.Diagnostic.t) Grace.Diagnostic.format ->
  'a

Builds Grace.Diagnostic.ts from code locations, a primary message, and additional labels, notes, or a summary message.

val context : 
  ?printed_filename:string ->
  ?code:string ->
  Middle.Location_span.t ->
  ('a, Grace.Diagnostic.Label.t list) Grace.Diagnostic.format ->
  'a

Builds a secondary label.

val dedup_labels : 
  Grace.Diagnostic.Label.t list ->
  Grace.Diagnostic.Label.t list

Removes duplicated secondary labels. These are "included here" messages.

val unstyle : Grace.Diagnostic.Label.t -> Grace.Diagnostic.Label.t

Resets the style before the label to allow our own coloring to work better.

val pp : 'a Grace.Diagnostic.t Fmt.t

val pp_compact : 'a Grace.Diagnostic.t Fmt.t