summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--ChangeLog10
-rw-r--r--match.c6
2 files changed, 16 insertions, 0 deletions
diff --git a/ChangeLog b/ChangeLog
index 5f400108..44f4403b 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,15 @@
2012-02-25 Kaz Kylheku <kaz@kylheku.com>
+ Bug #34652
+
+ * match.c (do_txeval): Establish a dynamic env frame around
+ evaluation of quasiliteral and around embedded TXR Lisp expression
+ (which may contain quasiliterals) and stick the bindings there
+ via set_match_context. This way if filte functions are invoked through
+ a quasiliteral, they can see bindings.
+
+2012-02-25 Kaz Kylheku <kaz@kylheku.com>
+
* eval.c (eval_init): New put-byte function interned.
* stream.c (struct strm_ops): New member, put_byte.
diff --git a/match.c b/match.c
index 08281050..855cdd4d 100644
--- a/match.c
+++ b/match.c
@@ -1374,14 +1374,20 @@ static val do_txeval(val spec, val form, val bindings, val allow_unbound)
}
} else if (consp(form)) {
if (first(form) == quasi_s) {
+ uw_env_begin;
+ uw_set_match_context(cons(spec, bindings));
ret = cat_str(subst_vars(rest(form), bindings, nil), nil);
+ uw_env_end;
} else if (regexp(car(form))) {
ret = form;
} else if (first(form) == var_s) {
sem_error(spec, lit("metavariable @~s syntax cannot be used here"),
second(form), nao);
} else if (first(form) == expr_s) {
+ uw_env_begin;
+ uw_set_match_context(cons(spec, bindings));
ret = eval(rest(form), make_env(bindings, nil, nil), form);
+ uw_env_end;
} else {
ret = mapcar(curry_123_2(func_n3(txeval), spec, bindings), form);
}