Re: variable binding

[Marius Vollmer <mvo at zagadka dot ping dot de>]

Mikael Djurfeldt <mdj@mdj.nada.kth.se> writes:

> This is not defined by R5RS.  I think the safest and most useful
> behaviour is if `define' always "begins" with creating a new binding
> in the local module, and then behaves as specified in R5RS, i.e., as
> `set!'.

However, when `define' creates the new binding in the local module,
all previously memoized bindings should be invalidated and forced to
be re-looked-up.  Jim's environment proposal has hooks for this, I
believe.