From 20b3a5848657fe2f6e44de26827072dc7a5e51eb Mon Sep 17 00:00:00 2001 From: Kaz Kylheku Date: Sun, 4 Apr 2021 08:37:24 -0700 Subject: 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. --- txr.1 | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) (limited to 'txr.1') 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 -- cgit v1.2.3