altos: Add lambda support to lisp

[fw/altos] / src / lisp / ao_lisp_atom.c

diff --git a/src/lisp/ao_lisp_atom.c b/src/lisp/ao_lisp_atom.c
index aaa84b8d1bcf872554548251429fb075ff9c777e..ea04741e2b2c01c7201f85cc49e0fc99af7102dd 100644 (file)
--- a/src/lisp/ao_lisp_atom.c
+++ b/src/lisp/ao_lisp_atom.c
@@ -17,6 +17,12 @@
 
 #include "ao_lisp.h"
 
+#if 0
+#define DBG(...)       printf(__VA_ARGS__)
+#else
+#define DBG(...)
+#endif
+
 static int name_size(char *name)
 {
        return sizeof(struct ao_lisp_atom) + strlen(name) + 1;
@@ -34,31 +40,38 @@ static void atom_mark(void *addr)
 {
        struct ao_lisp_atom     *atom = addr;
 
+       DBG ("\tatom start %s\n", atom->name);
        for (;;) {
-               ao_lisp_poly_mark(atom->val);
                atom = ao_lisp_poly_atom(atom->next);
                if (!atom)
                        break;
+               DBG("\t\tatom mark %s %d\n", atom->name, (uint8_t *) atom - ao_lisp_const);
                if (ao_lisp_mark_memory(atom, atom_size(atom)))
                        break;
        }
+       DBG ("\tatom done\n");
 }
 
 static void atom_move(void *addr)
 {
        struct ao_lisp_atom     *atom = addr;
 
+       DBG("\tatom move start %s %d next %s %d\n",
+           atom->name, ((uint8_t *) atom - ao_lisp_const),
+           atom->next ? ao_lisp_poly_atom(atom->next)->name : "(none)",
+           atom->next ? ((uint8_t *) ao_lisp_poly_atom(atom->next) - ao_lisp_const) : 0);
        for (;;) {
                struct ao_lisp_atom     *next;
 
-               atom->val = ao_lisp_poly_move(atom->val);
                next = ao_lisp_poly_atom(atom->next);
                next = ao_lisp_move_memory(next, atom_size(next));
                if (!next)
                        break;
+               DBG("\t\tatom move %s %d->%d\n", next->name, ((uint8_t *) ao_lisp_poly_atom(atom->next) - ao_lisp_const), ((uint8_t *) next - ao_lisp_const));
                atom->next = ao_lisp_atom_poly(next);
                atom = next;
        }
+       DBG("\tatom move end\n");
 }
 
 const struct ao_lisp_type ao_lisp_atom_type = {
@@ -73,7 +86,6 @@ struct ao_lisp_atom *
 ao_lisp_atom_intern(char *name)
 {
        struct ao_lisp_atom     *atom;
-//     int                     b;
 
        for (atom = ao_lisp_atoms; atom; atom = ao_lisp_poly_atom(atom->next)) {
                if (!strcmp(atom->name, name))
@@ -85,19 +97,80 @@ ao_lisp_atom_intern(char *name)
                        return atom;
        }
 #endif
-       if (!ao_lisp_atoms)
-               ao_lisp_root_add(&ao_lisp_atom_type, (void **) &ao_lisp_atoms);
        atom = ao_lisp_alloc(name_size(name));
        if (atom) {
                atom->type = AO_LISP_ATOM;
                atom->next = ao_lisp_atom_poly(ao_lisp_atoms);
+               if (!ao_lisp_atoms)
+                       ao_lisp_root_add(&ao_lisp_atom_type, &ao_lisp_atoms);
                ao_lisp_atoms = atom;
                strcpy(atom->name, name);
-               atom->val = AO_LISP_NIL;
        }
        return atom;
 }
 
+static struct ao_lisp_frame    *ao_lisp_frame_global;
+struct ao_lisp_frame           *ao_lisp_frame_current;
+
+static void
+ao_lisp_atom_init(void)
+{
+       if (!ao_lisp_frame_global) {
+               ao_lisp_frame_global = ao_lisp_frame_new(0, 0);
+               ao_lisp_root_add(&ao_lisp_frame_type, &ao_lisp_frame_global);
+               ao_lisp_root_add(&ao_lisp_frame_type, &ao_lisp_frame_current);
+       }
+}
+
+static ao_poly *
+ao_lisp_atom_ref(struct ao_lisp_frame *frame, ao_poly atom)
+{
+       ao_poly *ref;
+       ao_lisp_atom_init();
+       while (frame) {
+               ref = ao_lisp_frame_ref(frame, atom);
+               if (ref)
+                       return ref;
+               frame = ao_lisp_poly_frame(frame->next);
+       }
+       if (ao_lisp_frame_global) {
+               ref = ao_lisp_frame_ref(ao_lisp_frame_global, atom);
+               if (ref)
+                       return ref;
+       }
+       return NULL;
+}
+
+ao_poly
+ao_lisp_atom_get(ao_poly atom)
+{
+       ao_poly *ref = ao_lisp_atom_ref(ao_lisp_frame_current, atom);
+
+       if (!ref && ao_lisp_frame_global)
+               ref = ao_lisp_frame_ref(ao_lisp_frame_global, atom);
+#ifdef ao_builtin_frame
+       if (!ref)
+               ref = ao_lisp_frame_ref(ao_lisp_poly_frame(ao_builtin_frame), atom);
+#endif
+       if (ref)
+               return *ref;
+       return AO_LISP_NIL;
+}
+
+ao_poly
+ao_lisp_atom_set(ao_poly atom, ao_poly val)
+{
+       ao_poly *ref = ao_lisp_atom_ref(ao_lisp_frame_current, atom);
+
+       if (!ref && ao_lisp_frame_global)
+               ref = ao_lisp_frame_ref(ao_lisp_frame_global, atom);
+       if (ref)
+               *ref = val;
+       else
+               ao_lisp_frame_global = ao_lisp_frame_add(ao_lisp_frame_global, atom, val);
+       return val;
+}
+
 void
 ao_lisp_atom_print(ao_poly a)
 {