links

The Links Programming Language
IN THIS PACKAGE
Module Links_core . Errors
type synerrspec = {
filename : string;
linespec : string;
message : string;
linetext : string;
marker : string;
}
type sugar_error_stage =
| DesugarFormlets
| DesugarRegexes
| CheckQuasiquotes
| DesugarLAttributes
| DesugarPages
| CheckXML
| DesugarInners
| DesugarModules
| DesugarSwitchFuns
exception RuntimeError of string
exception UndefinedVariable of string
exception InvalidMutualBinding of SourceCode.Position.t
exception Type_error of SourceCode.Position.t * string
exception IRTypeError of string
exception MultiplyDefinedMutualNames of SourceCode.Position.t list Utility.stringmap
exception RichSyntaxError of synerrspec
exception DesugaringError of {
pos : SourceCode.Position.t;
stage : sugar_error_stage;
message : string;
}
exception UnboundTyCon of SourceCode.Position.t * string
exception InternalError of {
filename : string;
message : string;
}
exception TypeApplicationArityMismatch of {
pos : SourceCode.Position.t;
name : string;
expected : int;
provided : int;
}
exception TypeApplicationKindMismatch of {
pos : SourceCode.Position.t;
name : string;
tyarg_number : int;
expected : string;
provided : string;
}
exception SettingsError of string
exception DynlinkError of string
exception ModuleError of string * SourceCode.Position.t option
exception MissingBuiltinType of string
exception MissingSSLCertificate
exception CannotOpenFile of string * string
exception ObjectFileWriteError of string * string
val format_exception : exn -> string
val format_exception_html : exn -> string
val display : ?default:( exn -> 'a ) -> ?stream:out_channel -> 'a lazy_t -> 'a
val internal_error : filename:string -> message:string -> exn
val desugaring_error : pos:SourceCode.Position.t -> stage:sugar_error_stage -> message:string -> exn
val settings_error : string -> exn
val runtime_error : string -> exn
val module_error : ?pos:SourceCode.Position.t -> string -> exn
val disabled_extension : ?pos:SourceCode.Position.t -> ?setting:(string * bool) -> ?flag:string -> string -> exn
val prime_alien : SourceCode.Position.t -> exn
val driver_locate_failure : string -> exn
val illformed_plugin_description : string -> exn
val dependency_load_failure : string -> Dynlink.error -> exn
val load_failure : string -> Dynlink.error -> exn
val forbidden_client_call : string -> string -> exn
val rethrow_errors_if_better_position : SourceCode.Position.t -> ( 'a -> 'b ) -> 'a -> 'b
val cannot_open_file : string -> string -> exn
val object_file_write_error : string -> string -> exn