Модуль Printexc.Slot

module Slot: sig .. end

Since 4.02

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

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