diff options
author | Kaz Kylheku <kaz@kylheku.com> | 2023-05-24 07:31:16 -0700 |
---|---|---|
committer | Kaz Kylheku <kaz@kylheku.com> | 2023-05-24 07:31:16 -0700 |
commit | 24dbf25bf62ba2d294e7fa64ef51984cd0b4135a (patch) | |
tree | 6960a3e30df34e05e33beda72ae232bb889c7e2a /stdlib/compiler.tl | |
parent | df357a69d04b2d287ba8d9d9f3642f0f445b70f4 (diff) | |
download | txr-24dbf25bf62ba2d294e7fa64ef51984cd0b4135a.tar.gz txr-24dbf25bf62ba2d294e7fa64ef51984cd0b4135a.tar.bz2 txr-24dbf25bf62ba2d294e7fa64ef51984cd0b4135a.zip |
label/flet: bug: empty case wallops symbol macros.
* eval.c (make_var_shadowing_env): We cannot return the
original env in the empty variable case, but earnestly
make a new one. This function is used by the expander when
walking the lbind/fbind special from emitted by labels/flet.
That form clobbers the environment via make_fun_shadowing_env,
which calls make_var_shadowing_env and then destructively
moves the variable bindings to the function binding slot of
the environment. The manifestation is that when we have
(symacrolet ((x 1)) (labels () x)), the x fails to expand; it
has been wrongly moved to the function bindings area of the
macro environment.
Diffstat (limited to 'stdlib/compiler.tl')
0 files changed, 0 insertions, 0 deletions