[racket] metacircular interpreter, lexical scope, environment

Hi all -

a question for those who have experiences with metacircular interpreters:

How do you represent the lexical variables?  Since lexical variables can be
optimized away so they won't show up on a call to eval, it seems putting
them into the environment (I am using a struct holding an immutable hash for
environment) isn't the right approach.  It feels like I need my own
call-stack to represent them, but that sounds "heavy" for a metacircular
interpreter.

Any thoughts are appreciated, thanks.
yc
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20101201/721444c5/attachment.html>