links 0.9 · 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

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 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

package links