macro-time: interleave evaluation and expansion.

* eval.c (do_expand): When expanding the macro-time
form, do not macro-expand it entirely and then evaluate.
Rather, expand each argument form and evaluate.
This way earlier forms can make global definitions
which are used while macro-expanding later definitions.

* txr.1: Behavior documented.

1 files changed, 13 insertions, 0 deletions

diff --git a/txr.1 b/txr.1
index 9376d51a..f01e2537 100644
--- a/txr.1
+++ b/txr.1
@@ -27262,6 +27262,19 @@ The special behavior of
 is that the evaluation takes place during
 the expansion phase, rather than during the evaluation phase.
 
+Also,
+.code macro-time
+macro-expands each
+.meta form
+and evaluates it before processing the next
+.meta form
+in the same way. Thus, for instance, if a
+.meta form
+introduces a global definition, that definition will be visible not
+only during the evaluation of a subsequent
+.metn form ,
+but also during its macro-expansion time.
+
 During the expansion phase, all
 .code macro-time
 expressions which occur in a context