package links

  1. Overview
  2. Docs
type synerrspec = {
  1. filename : string;
  2. linespec : string;
  3. message : string;
  4. linetext : string;
  5. marker : string;
}
type sugar_error_stage =
  1. | DesugarFormlets
  2. | DesugarRegexes
  3. | CheckQuasiquotes
  4. | DesugarLAttributes
  5. | DesugarPages
  6. | CheckXML
  7. | DesugarInners
  8. | DesugarModules
  9. | 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 {
  1. pos : SourceCode.Position.t;
  2. stage : sugar_error_stage;
  3. message : string;
}
exception UnboundTyCon of SourceCode.Position.t * string
exception InternalError of {
  1. filename : string;
  2. message : string;
}
exception TypeApplicationArityMismatch of {
  1. pos : SourceCode.Position.t;
  2. name : string;
  3. expected : int;
  4. provided : int;
}
exception TypeApplicationKindMismatch of {
  1. pos : SourceCode.Position.t;
  2. name : string;
  3. tyarg_number : int;
  4. expected : string;
  5. provided : string;
}
exception TypeApplicationGlobalKindMismatch of {
  1. pos : SourceCode.Position.t;
  2. name : string;
  3. expected : string;
  4. 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:Stdlib.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
val type_application_kind_mismatch : SourceCode.Position.t -> string -> int -> string -> string -> exn
val type_application_global_kind_mismatch : SourceCode.Position.t -> string -> string -> string -> exn
val unbound_tycon : SourceCode.Position.t -> string -> exn
OCaml

Innovation. Community. Security.