Re: Dynamic variables

[Pavel.pa@xerox.com]

I'm afraid that I either don't see your ``right'' relationship or don't see
how to do the implementation.  Could you be more explicit?

Also, if the deep binding is implemented more primitively, then you can
achieve tail-call semantics for CALL-WITH-DYNAMIC-BINDING; you simply
maintain the dynamic environment as an argument passed to every procedure.
CALL-WITH-DYNAMIC-BINDING then has an obvious implementation that
tail-calls the given thunk.  I can't tell if this is in contradiction to
your final paragraph; perhaps you mean that the portable deep-binding
implementation you have in mind does not support tail-call semantics.

	Pavel