Errors (p.dedukti.2.7.doc.dedukti.api.Api.Errors)

Sourceval color : bool ref

Flag to disable colored output.

Sourceval success : string -> unit

Print a success message.

val fail_exit : 
  file:string ->
  code:string ->
  Kernel.Basic.loc option ->
  ('a, Format.formatter, unit, 'b) format4 ->
  'a

fail_exit file error_id lc "..." Prints the given error message prefixed with module and location details (when provided) as well as the error ID then exits with the given code.

Sourceval fail_sys_error : ?file:string -> msg:string -> unit -> 'a

Print a system error message then exits with code 1.

Sourcetype error_code = int

Sourcetype error_msg = error_code * Kernel.Basic.loc option * string

Source

type error_handler =
  red:(Kernel.Term.term -> Kernel.Term.term) ->
  exn ->
  error_msg option

Source

val register_exception : 
  (red:(Kernel.Term.term -> Kernel.Term.term) -> exn -> error_msg option) ->
  unit

Source

val string_of_exception : 
  red:(Kernel.Term.term -> Kernel.Term.term) ->
  Kernel.Basic.loc ->
  exn ->
  error_code * Kernel.Basic.loc * string