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
val equal_scope_item : scope_item -> scope_item -> bool
type scopes = private
  1. | Empty
  2. | Cons of {
    1. item : scope_item;
    2. str : string;
    3. str_fun : string;
    4. name : string;
    5. prev : scopes;
    6. assume_zero_alloc : ZA.Assume_info.t;
    7. mangling_item : Structured_mangling.path_item option;
    }
val string_of_scopes : include_zero_alloc:bool -> scopes -> string
val compilation_unit : scopes -> Compilation_unit.t option
val empty_scopes : scopes
val enter_anonymous_function : scopes:scopes -> assume_zero_alloc:ZA.Assume_info.t -> loc:Location.t -> scopes
val enter_anonymous_module : scopes:scopes -> loc:Location.t -> scopes
val enter_value_definition : scopes:scopes -> assume_zero_alloc:ZA.Assume_info.t -> Ident.t -> scopes
val enter_compilation_unit : scopes:scopes -> Compilation_unit.t -> scopes
val enter_module_definition : scopes:scopes -> Ident.t -> scopes
val enter_class_definition : scopes:scopes -> Ident.t -> scopes
val enter_method_definition : scopes:scopes -> Asttypes.label -> scopes
val enter_lazy : scopes:scopes -> scopes
val enter_partial_or_eta_wrapper : scopes:scopes -> loc:Location.t -> scopes
val update_assume_zero_alloc : scopes:scopes -> assume_zero_alloc:ZA.Assume_info.t -> scopes
val get_assume_zero_alloc : scopes:scopes -> ZA.Assume_info.t
type t =
  1. | Loc_unknown
  2. | Loc_known of {
    1. loc : Location.t;
    2. scopes : scopes;
    }
val of_location : scopes:scopes -> Location.t -> t
val to_location : t -> Location.t
val string_of_scoped_location : include_zero_alloc:bool -> t -> string
val map_scopes : (scopes:scopes -> loc:Location.t -> scopes) -> t -> t