package ocaml-base-compiler

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

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