X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcode%2Ftoplevel.lisp;h=00495f535c99d8c1a9d7d10a91dfade8ab21bca8;hb=148e3820ad314a9b59d0133c1d60eaac4af9118b;hp=f4baf40f061c756b75d8f4f5f8698dc885c8f383;hpb=0957d59ccfaf3db9aaf79a7f4909a40ea0ca0dcd;p=sbcl.git

diff --git a/src/code/toplevel.lisp b/src/code/toplevel.lisp
index f4baf40..00495f5 100644
--- a/src/code/toplevel.lisp
+++ b/src/code/toplevel.lisp
@@ -305,6 +305,8 @@
 	(noprint nil)        ; Has a --noprint option been seen?
 	(options (rest *posix-argv*))) ; skipping program name
 
+    (declare (type list options))
+
     (/show0 "done with outer LET in TOPLEVEL-INIT")
   
     ;; FIXME: There are lots of ways for errors to happen around here
@@ -394,6 +396,7 @@
     (flet (;; If any of POSSIBLE-INIT-FILE-NAMES names a real file,
 	   ;; return its truename.
 	   (probe-init-files (&rest possible-init-file-names)
+             (declare (type list possible-init-file-names))
 	     (/show0 "entering PROBE-INIT-FILES")
 	     (prog1
 		 (find-if (lambda (x)