jon.recoil.org

Module Debug_event

type closure_entry =
  1. | Free_variable of int
  2. | Function of int
type closure_env =
  1. | Not_in_closure
  2. | In_closure of {
    1. entries : Debug_event.closure_entry Ident.tbl;
    2. env_pos : int;
    }
type compilation_env = {
  1. ce_stack : int Ident.tbl;
  2. ce_closure : Debug_event.closure_env;
}
type debug_event = {
  1. mutable ev_pos : int;
  2. ev_module : string;
  3. ev_loc : Location.t;
  4. ev_kind : Debug_event.debug_event_kind;
  5. ev_defname : string;
  6. ev_info : Debug_event.debug_event_info;
  7. ev_typenv : Env.summary;
  8. ev_typsubst : Subst.t;
  9. ev_compenv : Debug_event.compilation_env;
  10. ev_stacksize : int;
  11. ev_repr : Debug_event.debug_event_repr;
}
and debug_event_kind =
  1. | Event_before
  2. | Event_after of Types.type_expr
  3. | Event_pseudo
and debug_event_info =
  1. | Event_function
  2. | Event_return of int
  3. | Event_other
and debug_event_repr =
  1. | Event_none
  2. | Event_parent of int Stdlib.ref
  3. | Event_child of int Stdlib.ref