package grace

  1. Overview
  2. Docs
A fancy diagnostics library that allows your compilers to exit with grace

Install

dune-project
 Dependency

Authors

Maintainers

Sources

grace-0.4.1.tbz
sha256=d49754224206de44855590848b3a5a6cc1d5c46cf99a4e5810ca3041d436a28e
sha512=2984b5a6284bf8bbd05419cf850c15c34bc19c19f0c8928b83cc1be1c0bfc84aafef6d992e7435c2f48ba361a6f3aab679abd02f0e6472361c8cec7d497bc405

doc/grace/Grace/Diagnostic/Priority/index.html

Module Diagnostic.PrioritySource

The type of priority. These are used to style the primary and secondary causes of a diagnostic.

These are ordered in the following way:

  let () = assert (Priority.(Primary > Secondary))
Sourcetype t =
  1. | Secondary
    (*

    Priority to describe labels that explain the secondary causes of a diagnostic.

    *)
  2. | Primary
    (*

    Priority to describe labels that explain the primary cause of a diagnostic.

    *)
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 is_primary : t -> bool
Sourceval is_secondary : t -> bool
Sourceval to_string : t -> string