links 0.9.8 · OCaml Package

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 TypeApplicationGlobalKindMismatch of {

pos : SourceCode.Position.t;
name : string;
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: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 dynlink_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

package links