jon.recoil.org

Module Debuginfo.Scoped_location

type scope_item = private
  1. | Sc_anonymous_function
  2. | Sc_value_definition
  3. | Sc_module_definition
  4. | Sc_class_definition
  5. | Sc_method_definition
  6. | Sc_partial_or_eta_wrapper
  7. | Sc_lazy
type scopes = private
  1. | Empty
  2. | Cons of {
    1. item : Debuginfo.Scoped_location.scope_item;
    2. str : string;
    3. str_fun : string;
    4. name : string;
    5. prev : Debuginfo.Scoped_location.scopes;
    6. assume_zero_alloc : ZA.Assume_info.t;
    }
val string_of_scopes : include_zero_alloc:bool -> Debuginfo.Scoped_location.scopes -> string
val compilation_unit : Debuginfo.Scoped_location.scopes -> Compilation_unit.t option
val enter_anonymous_function : scopes:Debuginfo.Scoped_location.scopes -> assume_zero_alloc:ZA.Assume_info.t -> Debuginfo.Scoped_location.scopes
val enter_value_definition : scopes:Debuginfo.Scoped_location.scopes -> assume_zero_alloc:ZA.Assume_info.t -> Ident.t -> Debuginfo.Scoped_location.scopes
val enter_partial_or_eta_wrapper : scopes:Debuginfo.Scoped_location.scopes -> Debuginfo.Scoped_location.scopes
val update_assume_zero_alloc : scopes:Debuginfo.Scoped_location.scopes -> assume_zero_alloc:ZA.Assume_info.t -> Debuginfo.Scoped_location.scopes
val get_assume_zero_alloc : scopes:Debuginfo.Scoped_location.scopes -> ZA.Assume_info.t
type t =
  1. | Loc_unknown
  2. | Loc_known of {
    1. loc : Location.t;
    2. scopes : Debuginfo.Scoped_location.scopes;
    }
val string_of_scoped_location : include_zero_alloc:bool -> Debuginfo.Scoped_location.t -> string