X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcold%2Fshared.lisp;h=86dcd58a93883e8f49719399beea0cdebd183f0c;hb=670010e3f3dcd62efaf23f61abdc73950edb88c6;hp=985a444d1bfba4372857fbf3ff99c4f8a57ae147;hpb=d86eaf5880e4f8738e20a739334ef380ec98762a;p=sbcl.git

diff --git a/src/cold/shared.lisp b/src/cold/shared.lisp
index 985a444..86dcd58 100644
--- a/src/cold/shared.lisp
+++ b/src/cold/shared.lisp
@@ -59,11 +59,12 @@
 ;;; a function of one functional argument, which calls its functional argument
 ;;; in an environment suitable for compiling the target. (This environment
 ;;; includes e.g. a suitable *FEATURES* value.)
+(declaim (type function *in-target-compilation-mode-fn*))
 (defvar *in-target-compilation-mode-fn*)
 
-;;; designator for a function with the same calling convention as
-;;; CL:COMPILE-FILE, to be used to translate ordinary Lisp source files into
-;;; target object files
+;;; a function with the same calling convention as CL:COMPILE-FILE, to be
+;;; used to translate ordinary Lisp source files into target object files
+(declaim (type function *target-compile-file*))
 (defvar *target-compile-file*)
 
 ;;; designator for a function with the same calling convention as
@@ -130,6 +131,8 @@
 		     (compile-file #'compile-file)
 		     ignore-failure-p)
 
+  (declare (type function compile-file))
+
   (let* (;; KLUDGE: Note that this CONCATENATE 'STRING stuff is not The Common
 	 ;; Lisp Way, although it works just fine for common UNIX environments.
 	 ;; Should it come to pass that the system is ported to environments
@@ -283,10 +286,13 @@
 (defparameter
   *expected-stem-flags*
   '(;; meaning: This file is not to be compiled when building the
-    ;; cross-compiler which runs on the host ANSI Lisp.
+    ;; cross-compiler which runs on the host ANSI Lisp. ("not host
+    ;; code", i.e. does not execute on host -- but may still be
+    ;; cross-compiled by the host, so that it executes on the target)
     :not-host
     ;; meaning: This file is not to be compiled as part of the target
-    ;; SBCL.
+    ;; SBCL. ("not target code" -- but still presumably host code,
+    ;; used to support the cross-compilation process)
     :not-target
     ;; meaning: This file is to be processed with the SBCL assembler,
     ;; not COMPILE-FILE. (Note that this doesn't make sense unless
@@ -305,7 +311,7 @@
 (defparameter *stems-and-flags* (read-from-file "build-order.lisp-expr"))
 
 (defmacro do-stems-and-flags ((stem flags) &body body)
-  (let ((stem-and-flags (gensym "STEM-AND-FLAGS-")))
+  (let ((stem-and-flags (gensym "STEM-AND-FLAGS")))
     `(dolist (,stem-and-flags *stems-and-flags*)
        (let ((,stem (first ,stem-and-flags))
 	     (,flags (rest ,stem-and-flags)))
@@ -327,6 +333,7 @@
 ;;; Execute function FN in an environment appropriate for compiling the
 ;;; cross-compiler's source code in the cross-compilation host.
 (defun in-host-compilation-mode (fn)
+  (declare (type function fn))
   (let ((*features* (cons :sb-xc-host *features*))
 	;; the CROSS-FLOAT-INFINITY-KLUDGE, as documented in
 	;; base-target-features.lisp-expr: