From: Christophe Rhodes <csr21@cam.ac.uk>
Date: Fri, 20 Dec 2002 11:55:52 +0000 (+0000)
Subject: 0.7.10.27:
X-Git-Url: http://repo.macrolet.net/gitweb/?a=commitdiff_plain;h=eadc8702944b8eb525d23088aebde6805afb2f55;p=sbcl.git

0.7.10.27:
	Just log a bug (reported sbcl-devel 2002-12-19 by Robert E. Brown
---

diff --git a/BUGS b/BUGS
index 2bb892c..fcfb26f 100644
--- a/BUGS
+++ b/BUGS
@@ -1190,8 +1190,20 @@ WORKAROUND:
 229:
   (subtypep 'function '(function)) => nil, t.
 
-230:
-  (fixed in 0.7.10.5)
+231: "extra binding causes type declaration semantics to be lost"
+  (reported by Robert E. Brown sbcl-devel 2002-12-19)
+  in sbcl-0.7.10.19, 
+    (DEFUN FOO (X)
+      (DECLARE (OPTIMIZE SAFETY) (TYPE (INTEGER 0 8) X))
+      (INCF X))
+    (FOO 8)
+  returns 9, rather than (as in CMUCL) signalling an error.  Replacing
+  (INCF X) by (SETQ X (+ X 1)) causes a TYPE-ERROR to be signalled
+  [the difference between the two being that (INCF X) looks like 
+    (LET ((#:G1 (+ X 1))) 
+      (SETQ X #:G1))
+  so suspicion falls on the binding obscuring the type declaration
+  somehow]
 
 DEFUNCT CATEGORIES OF BUGS
   IR1-#:
diff --git a/version.lisp-expr b/version.lisp-expr
index 6bc91e0..37e7691 100644
--- a/version.lisp-expr
+++ b/version.lisp-expr
@@ -18,4 +18,4 @@
 ;;; versions, especially for internal versions off the main CVS
 ;;; branch, it gets hairier, e.g. "0.pre7.14.flaky4.13".)
 
-"0.7.10.26"
+"0.7.10.27"