* configure: Support a gen-gc configuration variable which

causes CONFIG_GEN_GC to be defined as 1 in config.h.

* eval.c (op_defvar, dwim_loc, op_modplace, transform_op): Handle
mutating assignments via set macro.
(op_dohash): Inform gc about mutated variables. TODO here.

* filter.c (trie_add, trie_compress): Handle mutating assignments
via set macro.

* gc.c (BACKPTR_VEC_SIZE, FULL_GC_INTERVAL): New preprocessor symbols.
(backptr, backptr_idx, partial_gc_count, full): New static variables.
(make_obj): Initialize generation to zero.
(gc): Added logic for deciding between full and partial gc.
(gc_set, gc_mutated): New functions.

* gc.h (gc_set, gc_mutated): Declared.

* hash.c (hash_mark): Changed useless use of vecref_l to vecref.
(gethash_f): Use set when assigning through *found since it
is a possible mutation.

* lib.c (car_l, cdr_l, vecref_l): Got rid of loc macro uses. Using the
value properly is going to be the caller's responsibility.
(push): push may be a mutation, so use set.
(intern): Uset set to mutate a hash entry.
(acons_new_l, aconsq_new_l): Use set when replacing *list.

* lib.h (PTR_BIT): New preprocessor symbol.
(obj_common): New macro for defining common object fields.
type_t is split into two bitfields, half a pointer wide,
allowing for generation to be represented.
(struct any, struct cons, struct string, struct sym, struct package,
struct func, struct vec, struct lazy_cons, struct cobj, struct env,
struct bignum, struct flonum): Use obj_common macro to defined
common fields.
(loc): Macro removed.
(set, mut): Macros conditionally defined for real functionality.
(list_collect, list_collect_nconc, list_collect_append): Replace
mutating operations with set.

* match.c (dest_set, v_cat, v_output, v_filter): Replace
mutating operations with set.

* stream.c (string_in_get_line, string_in_get_char,
strlist_out_put_string, strlist_out_put_char): Replace mutating
operations with set.

* unwind.c (uw_register_subtype): Replace mutating operation with set.

1 files changed, 5 insertions, 5 deletions

diff --git a/hash.c b/hash.c
index 510339b8..fa7a6cc7 100644
--- a/hash.c
+++ b/hash.c
@@ -282,10 +282,10 @@ static void hash_mark(val hash)
     /* Keys are weak: mark the values only. */
     for (i = 0; i < h->modulus; i++) {
       val ind = num(i);
-      val *pchain = vecref_l(h->table, ind);
+      val chain = vecref(h->table, ind);
       val iter;
 
-      for (iter = *pchain; iter != nil; iter = cdr(iter)) {
+      for (iter = chain; iter != nil; iter = cdr(iter)) {
         val entry = car(iter);
         gc_mark(cdr(entry));
       }
@@ -298,10 +298,10 @@ static void hash_mark(val hash)
 
     for (i = 0; i < h->modulus; i++) {
       val ind = num(i);
-      val *pchain = vecref_l(h->table, ind);
+      val chain = vecref(h->table, ind);
       val iter;
 
-      for (iter = *pchain; iter != nil; iter = cdr(iter)) {
+      for (iter = chain; iter != nil; iter = cdr(iter)) {
         val entry = car(iter);
         gc_mark(car(entry));
       }
@@ -393,7 +393,7 @@ val gethash_f(val hash, val key, val *found)
 {
   struct hash *h = (struct hash *) cobj_handle(hash, hash_s);
   val chain = *vecref_l(h->table, num(h->hash_fun(key) % h->modulus));
-  *found = h->assoc_fun(key, chain);
+  set(*found, h->assoc_fun(key, chain));
   return cdr(*found);
 }