From: Tobias C. Rittweiler <trittweiler@users.sourceforge.net>
Date: Tue, 6 Apr 2010 12:43:56 +0000 (+0000)
Subject: 1.0.37.42: Add DEFKNOWN for %FAILED-AVER...
X-Git-Url: http://repo.macrolet.net/gitweb/?a=commitdiff_plain;h=ad3d30425ad832026129613aa835fb4e37c116c9;p=sbcl.git

1.0.37.42: Add DEFKNOWN for %FAILED-AVER...

..so the compiler knows that it won't return.
---

diff --git a/src/compiler/fndb.lisp b/src/compiler/fndb.lisp
index 435eb5f..410266a 100644
--- a/src/compiler/fndb.lisp
+++ b/src/compiler/fndb.lisp
@@ -1292,7 +1292,9 @@
   null)
 
 ;;; and analogous SBCL extension:
+(defknown sb!impl::%failed-aver (t) nil)
 (defknown bug (t &rest t) nil) ; never returns
+
 
 ;;;; from the "Miscellaneous" Chapter:
 
diff --git a/version.lisp-expr b/version.lisp-expr
index 865c279..d4bb21c 100644
--- 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.37.41"
+"1.0.37.42"