summaryrefslogtreecommitdiffstats
path: root/txr.1
diff options
context:
space:
mode:
authorKaz Kylheku <kaz@kylheku.com>2021-04-04 08:37:24 -0700
committerKaz Kylheku <kaz@kylheku.com>2021-04-04 08:37:24 -0700
commit20b3a5848657fe2f6e44de26827072dc7a5e51eb (patch)
tree1fe87df25777e51ba4cd9dd45d7f55c2cf9856cc /txr.1
parentbada505b8d75ea65976b919fc740f53ea338f8d9 (diff)
downloadtxr-20b3a5848657fe2f6e44de26827072dc7a5e51eb.tar.gz
txr-20b3a5848657fe2f6e44de26827072dc7a5e51eb.tar.bz2
txr-20b3a5848657fe2f6e44de26827072dc7a5e51eb.zip
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.
Diffstat (limited to 'txr.1')
-rw-r--r--txr.19
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