From f1e0138c8c67ec046b994985741d800bbd86520e Mon Sep 17 00:00:00 2001
From: Kaz Kylheku <kaz@kylheku.com>
Date: Sun, 7 Jul 2019 17:49:45 -0700
Subject: compile-file: don't ignore atomic forms.

* share/txr/stdlib/compiler.tl (usr:compile-file): do not
silently ignore forms that (after macroexpansion) are atoms;
treat them like any other forms. This is mostly useless, but
if unbound variables are used as top-level forms, it is
diagnosed, and keeps the file compilation behavior closer to
interpreted semantics.
---
 share/txr/stdlib/compiler.tl | 44 ++++++++++++++++++++++----------------------
 1 file changed, 22 insertions(+), 22 deletions(-)

diff --git a/share/txr/stdlib/compiler.tl b/share/txr/stdlib/compiler.tl
index dfab93a9..f3acbc52 100644
--- a/share/txr/stdlib/compiler.tl
+++ b/share/txr/stdlib/compiler.tl
@@ -1668,28 +1668,28 @@
             (put-line (butlast line) out-stream))
           (seek-stream in-stream 0 :from-start))
         (labels ((compile-form (unex-form)
-                   (let ((form (macroexpand unex-form)))
-                     (unless (atom form)
-                       (caseq (car form)
-                         (progn [mapdo compile-form (cdr form)])
-                         (compile-only (let ((*eval* nil))
-                                         [mapdo compile-form (cdr form)]))
-                         (eval-only (let ((*emit* nil))
-                                      [mapdo compile-form (cdr form)]))
-                         (t (when (and (or *eval* *emit*)
-                                       (not (constantp form)))
-                              (let* ((vm-desc (compile-toplevel form))
-                                     (flat-vd (list-from-vm-desc vm-desc))
-                                     (fence (member (car form) %package-manip%)))
-                                (when *eval*
-                                  (let ((pa *package-alist*))
-                                    (sys:vm-execute-toplevel vm-desc)
-                                    (when (or (neq pa *package-alist*))
-                                      (set fence t))))
-                                (when *emit*
-                                  out.(add flat-vd)
-                                  (when fence
-                                    out.(add :fence)))))))))))
+                   (let* ((form (macroexpand unex-form))
+                          (sym (if (consp form) (car form))))
+                     (caseq sym
+                       (progn [mapdo compile-form (cdr form)])
+                       (compile-only (let ((*eval* nil))
+                                       [mapdo compile-form (cdr form)]))
+                       (eval-only (let ((*emit* nil))
+                                    [mapdo compile-form (cdr form)]))
+                       (t (when (and (or *eval* *emit*)
+                                     (not (constantp form)))
+                            (let* ((vm-desc (compile-toplevel form))
+                                   (flat-vd (list-from-vm-desc vm-desc))
+                                   (fence (member sym %package-manip%)))
+                              (when *eval*
+                                (let ((pa *package-alist*))
+                                  (sys:vm-execute-toplevel vm-desc)
+                                  (when (or (neq pa *package-alist*))
+                                    (set fence t))))
+                              (when *emit*
+                                out.(add flat-vd)
+                                (when fence
+                                  out.(add :fence))))))))))
           (unwind-protect
             (whilet ((obj (read in-stream *stderr* err-ret))
                      ((neq obj err-ret)))
-- 
cgit v1.2.3