Errors.Tools_error
Errors raised by Tools
type signature_of_module_error = [
| `OpaqueModule |
| `UnresolvedForwardPath |
| `UnresolvedPath of
[ `Module of Cpath.module_ * simple_module_lookup_error
| `ModuleType of Cpath.module_type * simple_module_type_lookup_error ] |
| `UnexpandedTypeOf of Component.ModuleType.type_of_desc |
]
and simple_module_lookup_error = [
| `Local of Env.t * Ident.path_module |
| `Unresolved_apply |
| `Find_failure |
| `Lookup_failure of Odoc_model.Paths.Identifier.Path.Module.t |
| `Lookup_failure_root of string |
| `Parent of parent_lookup_error |
]
and simple_module_type_expr_of_module_error = [
| `ApplyNotFunctor |
| `OpaqueModule |
| `UnresolvedForwardPath |
| `UnresolvedPath of
[ `Module of Cpath.module_ * simple_module_lookup_error
| `ModuleType of Cpath.module_type * simple_module_type_lookup_error ] |
| `Parent of parent_lookup_error |
]
and simple_module_type_lookup_error = [
| `LocalMT of Env.t * Ident.module_type |
| `Find_failure |
| `Lookup_failureMT of Odoc_model.Paths.Identifier.ModuleType.t |
| `Parent of parent_lookup_error |
]
and simple_type_lookup_error = [
| `LocalType of Env.t * Ident.path_type |
| `Class_replaced |
| `OpaqueClass |
| `Find_failure |
| `Lookup_failureT of Odoc_model.Paths.Identifier.Path.Type.t |
| `Parent of parent_lookup_error |
]
and parent_lookup_error = [
| `Parent_sig of signature_of_module_error |
| `Parent_module_type of simple_module_type_lookup_error |
| `Parent_expr of simple_module_type_expr_of_module_error |
| `Parent_module of simple_module_lookup_error |
| `Parent_type of simple_type_lookup_error |
| `Fragment_root |
| `Parent of parent_lookup_error |
| `Reference of reference_lookup_error |
]
and reference_lookup_error = [
| `Wrong_kind of reference_kind list * reference_kind |
| `Lookup_by_name of [ reference_kind | `Any ] * string |
| `Find_by_name of [ reference_kind | `Any ] * string |
| `Parent of parent_lookup_error |
]
val pp : Stdlib.Format.formatter -> any -> unit
val pp_reference_lookup_error :
Stdlib.Format.formatter ->
reference_lookup_error ->
unit