package odoc
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=d45eb125514839fd9ac27702bb4938d1b4f3b6978e9b16ab9673ea067245affc
sha512=3555386b4770a7caa8ec903683bde5ecdc41d5e57ffaee617d5da225c747bbd1e9c1d2677f4df97e96bbdfc69f580ea83b1b92b933ea40a436a658788b677bbc
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.