Thu Aug 6 12:09:08 CEST 2009
constants vs. closures
Yesterday went well. The basic infrastructure seems to work. Now I
need to get the small errors in the representation right.
Currently I have constants tagged to an environment. This won't hurt,
but doesn't make much sense. Maybe change the rep a bit.
The environment contains closures (open_term + environment) or
OK: it's way simpler to make everything a closure, but tag contstants
with an empty environment.
So.. Something is not right. This gives an error:
(post (cons 111 ((lambda (abc) 123) 456)))
ERROR: undefined: abc
I currently lost oversight so let's re-connect with the textbook