compiler: don't expand top-level forms twice.

* share/txr/stdlib/compiler.tl (usr:compile-toplevel): Support
optional parameter indicating that no expansion is required.
(usr:compile-file): Call compile-toplevel with a t argument
for the new expanded-p parameter, so no further expansion
takes place.

* txr.1: Document new optional parameter of compile-toplevel.

1 files changed, 7 insertions, 1 deletions

diff --git a/txr.1 b/txr.1
index 6ba2404b..fd1a6b76 100644
--- a/txr.1
+++ b/txr.1
@@ -61983,7 +61983,7 @@ circular structures are reproduced.
 
 .coNP Function @ compile-toplevel
 .synb
-.mets (compile-toplevel << form )
+.mets (compile-toplevel < form << expanded-p )
 .syne
 .desc
 The
@@ -62002,6 +62002,12 @@ using the
 .code eval
 function.
 
+The
+.meta expanded-p
+argument indicates that
+.meta form
+has already been expanded and is to be compiled without further expansion.
+
 Note: in spite of the name,
 .code compile-toplevel
 makes no consideration whether or not