Модуль Printexc.Slot

module Slot: sig .. end

Since 4.02.0

type t = Printexc.backtrace_slot

val is_raise : t -> bool

is_raise slot является true, когда slot относится к точке подъёма в коде, и false когда это происходит из простого вызова функции.

Since 4.02

val is_inline : t -> bool

is_inline slot является true когда slot относится к вызову, вставленному компилятором, и false когда он происходит из любого другого контекста.

Since 4.04.0

val location : t -> Printexc.location option

location slot возвращает информацию о местоположении слота, если доступна, и None в противном случае.

Некоторые возможные причины, по которым местоположение не возвращается:

слот соответствует вставленному компилятором подъёму
слот соответствует части программы, которая не была скомпилирована с информацией отладки (-g)

Since 4.02

val name : t -> string option

name slot возвращает имя функции или определения, содержащего местоположение, на которое ссылается слот.

name slot возвращает None, если имя недоступно, что может произойти по тем же причинам, по которым location возвращает None.

Since 4.11

val format : int -> t -> string option

format pos slot возвращает строковое представление slot в том формате, в котором raw_backtrace_to_string бы его отформатировал, предполагая, что это pos-й элемент стека вызовов: 0-й элемент отформатирован иначе, чем остальные.

Функции печати всего стека вызовов также пропускают некоторые неинформативные слоты; в этом случае, format pos slot возвращает None.

Since 4.02