Module Dolmen_loop.Report

Some types

type ('kind, 'param) aux
type 'a error = ([ `Error ], 'a) aux
type 'a warning = ([ `Warning ], 'a) aux
type any_error =
  1. | Any_err : _ error -> any_error
type any_warning =
  1. | Any_warn : _ warning -> any_warning
val add_hint : (_, _) aux -> (Stdlib.Format.formatter -> unit) -> unit

Dynamically add a hint to a warning/error.

Reports

module T : sig ... end

Errors

module Error : sig ... end

Warnings

module Warning : sig ... end

Report configuration

module Conf : sig ... end