X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Ffndb.lisp;h=1bb7372cdfcbf6bd9a5bfc6af6cdf6a149eee387;hb=77c80b85dc9ae9bde0692d4193187bfca507b936;hp=113cb1da2dacf22615f597c7b2012692e7a954b5;hpb=6a756846fe0fe89835ec5eb68327b612c93f82c4;p=sbcl.git

diff --git a/src/compiler/fndb.lisp b/src/compiler/fndb.lisp
index 113cb1d..1bb7372 100644
--- a/src/compiler/fndb.lisp
+++ b/src/compiler/fndb.lisp
@@ -1148,12 +1148,7 @@
 					   :rename-and-delete :overwrite
 					   :append :supersede nil))
 		       (:if-does-not-exist (member :error :create nil))
-		       (:external-format
-			;; FIXME: This is logically (MEMBER :DEFAULT),
-			;; but as a workaround for bug 244, we don't
-			;; declare it (to keep the compiler from trusting
-			;; the declaration unchecked).
-			t))
+		       (:external-format (member :default)))
   (or stream null))
 
 (defknown rename-file (pathname-designator filename)
@@ -1176,11 +1171,7 @@
    (:verbose t)
    (:print t)
    (:if-does-not-exist (member :error :create nil))
-   (:external-format
-    ;; FIXME: This is logically (MEMBER :DEFAULT), but as a workaround
-    ;; for bug 244, we don't declare it (to keep the compiler from
-    ;; trusting the declaration unchecked).
-    t))
+   (:external-format (member :default)))
   t)
 
 (defknown directory (pathname-designator &key)
@@ -1325,6 +1316,11 @@
 (defknown %%primitive (t t &rest t) *)
 (defknown %pop-values (t) t)
 (defknown %type-check-error (t t) nil)
+
+;; FIXME: This function does not return, but due to the implementation
+;; of FILTER-CONTINUATION we cannot write it here.
+(defknown %compile-time-type-error (t t t) *)
+
 (defknown %odd-key-args-error () nil)
 (defknown %unknown-key-arg-error (t) nil)
 (defknown (%ldb %mask-field) (bit-index bit-index integer) unsigned-byte