diff options
author | Andy Wingo <wingo@pobox.com> | 2010-05-07 10:51:28 +0200 |
---|---|---|
committer | Andy Wingo <wingo@pobox.com> | 2010-05-07 22:22:19 +0200 |
commit | 4f692ace90f2dc75b83aa9e10d9cd107d2ea924e (patch) | |
tree | f01b7c934fe781a95ac5d95f8257d78db35b8e11 /libguile/memoize.c | |
parent | b79ba0b01e7dc89d2ba8da2c5cf4e200f4bb5de1 (diff) | |
download | guile-4f692ace90f2dc75b83aa9e10d9cd107d2ea924e.tar.gz |
macro expanders return memoized expressions
* libguile/eval.c (scm_c_primitive_eval):
* module/ice-9/eval.scm (primitive-eval): Rely on the expander to
produce a memoized expression. If the expression is already memoized,
just pass it through (the equivalent of the old "noexpand" hack).
* libguile/memoize.c (scm_init_memoize): Initialize `memoize-expression'
as the initial binding of `macroexpand'.
* libguile/modules.c (scm_module_transformer): Before modules are
booted, look for `macroexpand', not `%pre-modules-transformer'.
* module/ice-9/boot-9.scm: No more %pre-modules-transformer. Loading
psyntax extends `macroexpand'.
(make-module): `macroexpand' is the default transformer.
* module/ice-9/psyntax.scm: No more `noexpand'.
(top-level-eval-hook, local-eval-hook): Instead of annotating with
noexpand, memoize the expression before handing it to primitive-eval.
(macroexpand): No more noexpand hack -- in its place we have another
hack, to memoize the result when running in eval mode.
* module/ice-9/psyntax-pp.scm: Regenerated.
Diffstat (limited to 'libguile/memoize.c')
-rw-r--r-- | libguile/memoize.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/libguile/memoize.c b/libguile/memoize.c index 0427cea76..aeb42a31c 100644 --- a/libguile/memoize.c +++ b/libguile/memoize.c @@ -1326,6 +1326,9 @@ scm_init_memoize () scm_set_smob_print (scm_tc16_memoized, scm_print_memoized); #include "libguile/memoize.x" + + scm_c_define ("macroexpand", + scm_variable_ref (scm_c_lookup ("memoize-expression"))); } /* |