doc: clarify definition of top-level form.

* txr.1: In the definition of what is a top-level form to the
compiler, replace poor wording about macro-expansion in rule
6, and add a rule which makes it clear that the rules are
recursive.

1 files changed, 6 insertions, 3 deletions

diff --git a/txr.1 b/txr.1
index df893a07..7e7dcd7e 100644
--- a/txr.1
+++ b/txr.1
@@ -74952,10 +74952,13 @@ If a
 .code load-time
 form is top-level form, then its argument is a top-level form.
 .IP 6.
-When a form is identified as a top-level form by the above rule 1,
-its constituents are considered under rules 2-4 only after the form is
-fully macro-expanded.
+When a macro form is identified as a top-level form, it is macro-expanded
+as if by
+.code macroexpand
+before consideration whether it contains top-level forms under rules 2-5.
 .IP 7.
+Rules 2-6 are applied recursively.
+.IP 8.
 No other forms are top-level forms.
 .RE