X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fglobaldb.lisp;h=844bfa928c984398a0fed2772cac7c74f8353373;hb=b19093fa94d6e1785abee99c35c9a610e8777671;hp=5b95bc72ae0d6c02574ef39b7d93780497b465f5;hpb=ce02ab2ecd9c6ae2e570abd8c93ebf3be55bbdad;p=sbcl.git

diff --git a/src/compiler/globaldb.lisp b/src/compiler/globaldb.lisp
index 5b95bc7..844bfa9 100644
--- a/src/compiler/globaldb.lisp
+++ b/src/compiler/globaldb.lisp
@@ -637,7 +637,7 @@
 		    (setf (svref table probe) name)
 		    (setf (aref index probe) entries-idx)
 		    (return))
-		  (assert (not (equal entry name))))))
+		  (aver (not (equal entry name))))))
 
 	    (unless (zerop entries-idx)
 	      (setf (aref entries-info (1- entries-idx))
@@ -1008,7 +1008,11 @@
 (define-info-type
   :class :function
   :type :assumed-type
-  :type-spec (or approximate-function-type null))
+  ;; FIXME: The type-spec really should be
+  ;;   (or approximate-function-type null)).
+  ;; It was changed to T as a hopefully-temporary hack while getting
+  ;; cold init problems untangled.
+  :type-spec t) 
 
 ;;; where this information came from:
 ;;;  :DECLARED = from a declaration.