Standard faults
val extension_ignored : (Uloc.t * string) Fault.infoExtension node fault
val extension_traversed : (Uloc.t * string) Fault.infoval opened_first_class : (Uloc.t * string option) Fault.infoFirst-class module faults
val included_first_class : Uloc.t Fault.infoval applied_structure : (Uloc.t * Module.Partial.t) Fault.infoTyping faults
val included : (Uloc.t * Module.sty * [ `Abstract | `Functor ]) Fault.infoval opened : (Uloc.t * Module.sty * [ `Abstract | `Functor ]) Fault.infoval applied_unknown : (Uloc.t * Module.Partial.t) Fault.infoval unknown_approximated : (Uloc.t * Module.level * Name.t) Fault.infoval nonexisting_submodule :
(Uloc.t * Paths.S.t * Module.level * Name.t) Fault.infoval ambiguous : (Uloc.t * Name.t * Module.Divergence.t) Fault.infoval module_conflict : (Namespaced.t * Pkg.t list) Fault.infoModule name conflicts: same module path for different compilation units
val local_module_conflict : (Namespaced.t * Pkg.t list) Fault.infoLocal module name conflicts: same module name for different compilation units
val concordant_approximation : Pkg.t Fault.infoParsing approximation faults
val discordant_approximation :
(Pkg.t * Namespaced.t list * Namespaced.t list) Fault.infoval syntaxerr : Syntaxerr.error Fault.infoval lexerr : (string * Lexer.error) Fault.infoval unknown_file_format : (string * string) Fault.infoSyntax error when parsing internal files
val future_version :
(string * (int * int * int) * (int * int * int)) Fault.infoval wrong_file_kind : (string * string * string) Fault.infoval parsing_error : (string * string) Fault.infoval schematic_errors :
Fault.handler ->
(string * Name.t * Schematic.Ext.error) ->
unit