package ocaml-base-compiler

You can search for identifiers within the package.

in-package search v0.2.0

Official release 5.2.1

Install

Dune Dependency

ocaml.org Edit opam file Versions (99)

Authors

Xavier Leroy

Maintainers

Sources

ocaml-5.2.1.tar.gz

sha256=2d0f8090951a97a2c0e5b8a11e90096c0e1791d2e471e4a67f87e3b974044cd0

doc/compiler-libs.common/Debuginfo/index.html

Module `Debuginfo`

module Scoped_location : sig ... end

type item = private {

dinfo_file : string;
dinfo_line : int;
dinfo_char_start : int;
dinfo_char_end : int;
dinfo_start_bol : int;
dinfo_end_bol : int;
dinfo_end_line : int;
dinfo_scopes : Scoped_location.scopes;

}

type t = item list

type alloc_dbginfo_item = {

alloc_words : int;
alloc_dbg : t;

}

Due to Comballoc, a single Ialloc instruction may combine several unrelated allocations. Their Debuginfo.t (which may differ) are stored as a list of alloc_dbginfo. This list is in order of increasing memory address, which is the reverse of the original allocation order. Later allocations are consed to the front of this list by Comballoc.

type alloc_dbginfo = alloc_dbginfo_item list

val none : t

val is_none : t -> bool

val to_string : t -> string

val from_location : Scoped_location.t -> t

val to_location : t -> Location.t

val inline : t -> t -> t

val compare : t -> t -> int

val hash : t -> int

val print_compact : Format.formatter -> t -> unit