package odoc
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=355b3cfff4934903cbaed8b51ce35e333e8609932d230294200a9f2d42ffa914
sha512=f78318d0a16164a9cd16ee02f611c2e00d32b772fe38e992d6db6ec94b1c00cd9c377fbfe64031b8f245e57b2f3aac9364108327e7f1693533ddcff94c476e05
doc/odoc.model/Odoc_model/Error/index.html
Module Odoc_model.Error
Source
val make :
?suggestion:string ->
('a, Format.formatter, unit, Location_.span -> t) format4 ->
'a
val filename_only :
?suggestion:string ->
('a, Format.formatter, unit, string -> t) format4 ->
'a
Raise a t
as an exception. Can be caught with catch
or catch_errors_and_warnings
.
Raise a warning that need to be caught with catch_warnings
. non_fatal
is false
by default.
Accumulate warnings into a global variable. See catch_warnings
.
Catch warnings accumulated by raise_warning
. Safe to nest.
Subtype of with_warnings
.
Combination of catch
and catch_warnings
.
type warnings_options = {
warn_error : bool;
(*If
*)true
, warnings will result in an error.print_warnings : bool;
(*Whether to print warnings.
*)warnings_tag : string option;
(*Whether to tag references to filter them later.
*)
}
val handle_warnings :
warnings_options:warnings_options ->
'a with_warnings ->
('a, [> `Msg of string ]) result
Print warnings to stderr. If warn_error
is true
and there was warnings, returns an Error
.
val handle_errors_and_warnings :
warnings_options:warnings_options ->
'a with_errors_and_warnings ->
('a, [> `Msg of string ]) result
Like handle_warnings
but works on the output of catch_errors_and_warnings
. Error case is converted into a `Msg
.
Used internally by handle_warnings
.
Convert a parsing error into a t
.
Like raise_warnings
but handle parsing errors.