package grace

  1. Overview
  2. Docs

Module Diagnostic.SeveritySource

The type of severity.

These are ordered in the following way:

  let () =
    let open Severity in
    assert (Bug > Error);
    assert (Error > Warning);
    assert (Warning > Note);
    assert (Note > Help)
  ;;
Sourcetype t =
  1. | Help
    (*

    A help message.

    *)
  2. | Note
    (*

    A note.

    *)
  3. | Warning
    (*

    A warning.

    *)
  4. | Error
    (*

    An error.

    *)
  5. | Bug
    (*

    An unexpected bug.

    *)
include Sexplib0.Sexpable.S with type t := t
Sourceval t_of_sexp : Sexplib0.Sexp.t -> t
Sourceval sexp_of_t : t -> Sexplib0.Sexp.t
include Grace_std.Comparable.S with type t := t
Sourceval (>=) : t -> t -> bool
Sourceval (<=) : t -> t -> bool
Sourceval (>) : t -> t -> bool
Sourceval (<) : t -> t -> bool
Sourceval (=) : t -> t -> bool
Sourceval (<>) : t -> t -> bool
Sourceval compare : t -> t -> int
Sourceval equal : t -> t -> bool
Sourceval min : t -> t -> t
Sourceval max : t -> t -> t
include Grace_std.Pretty_printer.S with type t := t
Sourceval pp : t Fmt.t
Sourceval to_string : t -> string