links 0.9.1 · OCaml Package

type synerrspec = {

}

type sugar_error_stage =

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 {

}

exception UnboundTyCon of SourceCode.Position.t * string

exception InternalError of {

}

exception TypeApplicationArityMismatch of {

}

exception TypeApplicationKindMismatch of {

}

exception SettingsError of string

exception DynlinkError of string

exception ModuleError of string * SourceCode.Position.t option

exception MissingBuiltinType of 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 client_call_outside_webmode : string -> exn

package links