package odoc
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=355b3cfff4934903cbaed8b51ce35e333e8609932d230294200a9f2d42ffa914
sha512=f78318d0a16164a9cd16ee02f611c2e00d32b772fe38e992d6db6ec94b1c00cd9c377fbfe64031b8f245e57b2f3aac9364108327e7f1693533ddcff94c476e05
doc/odoc.model/Odoc_model/Error/index.html
Module Odoc_model.ErrorSource
val make :
?suggestion:string ->
('a, Format.formatter, unit, Location_.span -> t) format4 ->
'aval filename_only :
?suggestion:string ->
('a, Format.formatter, unit, string -> t) format4 ->
'aRaise 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 ]) resultPrint 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 ]) resultLike 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.