Module Plebeia.ErrorSource

1 Open type for error descriptions

Sourcetype t = ..
Sourcetype t +=
  1. | String of string
    (*

    Unstructured string error message

    *)

2 Errors are show-able.

Sourceval register_printer : (t -> string option) -> unit
Sourceval show : t -> string
Sourceval pp : Format.formatter -> t -> unit

2 Handling

Sourceexception Error of t
Sourceval raise : t -> 'error

Raise an Error t error of the given t

Sourceval from_Ok : ('a, t) result -> 'a

Raise an exception when it is Error t