include module type of struct include Printexc endPrintexc.to_string_default e returns a string representation of the exception e, ignoring all registered exception printers.
Printexc.use_printers e returns None if there are no registered printers and Some s with else as the resulting string otherwise.
A raw_backtrace_entry is an element of a raw_backtrace.
Each raw_backtrace_entry is an opaque integer, whose value is not stable between different programs, or even between different runs of the same binary.
A raw_backtrace_entry can be converted to a usable form using backtrace_slots_of_raw_entry below. Note that, due to inlining, a single raw_backtrace_entry may convert to several backtrace_slots. Since the values of a raw_backtrace_entry are not stable, they cannot be marshalled. If they are to be converted, the conversion must be done by the process that generated them.
Again due to inlining, there may be multiple distinct raw_backtrace_entry values that convert to equal backtrace_slots. However, if two raw_backtrace_entrys are equal as integers, then they represent the same backtrace_slots.
val raw_backtrace_entries : Printexc.raw_backtrace -> raw_backtrace_entry arrayval default_uncaught_exception_handler : exn -> Printexc.raw_backtrace -> unitPrintexc.default_uncaught_exception_handler prints the exception and backtrace on standard error output.
These functions are used to traverse the slots of a raw backtrace and extract information from them in a programmer-friendly format.
val backtrace_slots_of_raw_entry :
raw_backtrace_entry ->
Printexc.backtrace_slot array optionReturns the slots of a single raw backtrace entry, or None if this entry lacks debug information.
Slots are returned in the same order as backtrace_slots: the slot at index 0 is the most recent call, raise, or primitive, and subsequent slots represent callers.
type raw_backtrace = Printexc.raw_backtracetype backtrace_slot = Printexc.backtrace_slotmodule Slot = Printexc.Slottype raw_backtrace_slot = Printexc.raw_backtrace_slotval raise_with_backtrace : exn -> raw_backtrace -> 'aval get_raw_backtrace_next_slot :
Printexc.raw_backtrace_slot ->
Printexc.raw_backtrace_slot optionval set_uncaught_exception_handler :
(exn -> Printexc.raw_backtrace -> unit) ->
unitval backtrace_slots :
Printexc.raw_backtrace ->
Printexc.backtrace_slot array optionval raw_backtrace_length : Printexc.raw_backtrace -> intval get_raw_backtrace_slot :
Printexc.raw_backtrace ->
int ->
Printexc.raw_backtrace_slotval convert_raw_backtrace_slot :
Printexc.raw_backtrace_slot ->
Printexc.backtrace_slotval get_callstack : int -> raw_backtraceval get_raw_backtrace : unit -> Printexc.raw_backtraceval print_raw_backtrace : out_channel -> Printexc.raw_backtrace -> unitval raw_backtrace_to_string : Printexc.raw_backtrace -> stringval print_backtrace : out_channel -> unit