1.0.43.56: make %INSTANCE-TYPEP always-translatable

 One way to make an SBCL that builds but cannot build itself is
 to change the compiler so that it fails to eliminate a full call
 to %INSTANCE-TYPEP.

 This doesn't change that, but at least makes such hosts fail in a
 place where the issue is easier to figure out than hitting "undefined
 function: %INSTANCE-TYPEP" during cold-init.

diff --git a/src/compiler/fndb.lisp b/src/compiler/fndb.lisp
index 0c80ebf..73e3db1 100644 (file)
--- a/src/compiler/fndb.lisp
+++ b/src/compiler/fndb.lisp
@@ -1408,7 +1408,7 @@
 (defknown %typep (t (or type-specifier ctype)) boolean
   (movable flushable explicit-check))
 (defknown %instance-typep (t (or type-specifier ctype)) boolean
-  (movable flushable explicit-check))
+  (movable flushable explicit-check always-translatable))
 
 (defknown %cleanup-point () t)
 (defknown %special-bind (t t) t)

diff --git a/version.lisp-expr b/version.lisp-expr
index ced99d1..05f7d82 100644 (file)
--- a/version.lisp-expr
+++ b/version.lisp-expr
@@ -17,4 +17,4 @@
 ;;; checkins which aren't released. (And occasionally for internal
 ;;; versions, especially for internal versions off the main CVS
 ;;; branch, it gets hairier, e.g. "0.pre7.14.flaky4.13".)
-"1.0.43.55"
+"1.0.43.56"