package ocaml-base-compiler

You can search for identifiers within the package.

in-package search v0.2.0

Official release 4.14.0

Install

Dune Dependency

ocaml.org Edit opam file Versions (66)

Authors

Xavier Leroy

Maintainers

Sources

4.14.0.tar.gz

sha256=39f44260382f28d1054c5f9d8bf4753cb7ad64027da792f7938344544da155e8

doc/ocamlcommon/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