120 bucket = hashbuckets[bucket].
next;
124 *infoptr = &hashbuckets[bucket].
info;
160 t2 =
copy(t1,copy_flag,heap_flag);
252 long local_copy_flag;
278 Errorline(
"psi-term too large -- get a bigger Life!\n");
285 local_copy_flag=copy_flag;
337 if (heap_flag==
HEAP) {
553 if (!flag && *infoptr) {
637 if (u && !*infoptr)
return;
641 else *infoptr =
FALSE;
static struct hashentry hashtable[HASHSIZE]
void mark_eval_new(ptr_psi_term t)
mark_eval_new
void push_ptr_value(type_ptr t, GENERIC *p)
push_ptr_value
ptr_psi_term translate(ptr_psi_term a, long **infoptr)
translate
void clear_copy()
clear_copy
ptr_psi_term exact_copy(ptr_psi_term t, long heap_flag)
exact_copy
void mark_quote_tree_c(ptr_node n, long heap_flag)
mark_quote_tree_c
void bk_mark_quote_tree(ptr_node t)
bk_mark_quote_tree
void mark_nonstrict(ptr_psi_term t)
mark_nonstrict
void insert_translation(ptr_psi_term a, ptr_psi_term b, long info)
insert_translation
ptr_node distinct_tree(ptr_node t)
distinct_tree
void mark_eval_tree_new(ptr_node n)
mark_eval_tree_new
long abort_life(int nlflag)
abort_life
void traceline(char *format,...)
traceline
ptr_psi_term quote_copy(ptr_psi_term t, long heap_flag)
quote_copy
void Errorline(char *format,...)
Errorline.
void bk_mark_quote(ptr_psi_term t)
bk_mark_quote
ptr_psi_term distinct_copy(ptr_psi_term t)
distinct_copy
void mark_quote_tree_new(ptr_node n)
mark_quote_tree_new
ptr_psi_term copy(ptr_psi_term t, long copy_flag, long heap_flag)
copy
static ptr_node copy_tree(ptr_node t, long copy_flag, long heap_flag)
ptr_node copy_tree
void mark_eval(ptr_psi_term t)
mark_eval
void mark_quote_c(ptr_psi_term t, long heap_flag)
mark_quote_c
static struct hashbucket * hashbuckets
void mark_quote_new(ptr_psi_term t)
mark_quote_new
ptr_psi_term inc_heap_copy(ptr_psi_term t)
inc_heap_copy
void mark_quote(ptr_psi_term t)
mark_quote
static long mark_nonstrict_flag
struct wl_psi_term * ptr_psi_term
unsigned long global_time_stamp
ptr_psi_term eval_copy(ptr_psi_term t, long heap_flag)
eval_copy
ptr_triple_list properties
void mark_quote_new2(ptr_psi_term t)
mark_quote_new2
void init_copy()
init_copy
ptr_choice_point choice_stack