0.7.9.62:
authorWilliam Harold Newman <william.newman@airmail.net>
Thu, 21 Nov 2002 16:52:06 +0000 (16:52 +0000)
committerWilliam Harold Newman <william.newman@airmail.net>
Thu, 21 Nov 2002 16:52:06 +0000 (16:52 +0000)
noted bug 227
(bug 226 gone w/ recent APD fix)

BUGS
doc/compiler.sgml
version.lisp-expr

diff --git a/BUGS b/BUGS
index e144df9..2112237 100644 (file)
--- a/BUGS
+++ b/BUGS
@@ -1321,25 +1321,23 @@ WORKAROUND:
   (localy (declare (optimize (safety 3)))
           (ignore-errors (progn (values-list (car (list '(1 . 2)))) t)))
 
-226: "AVER failure in COMPILE-FILE of clocc-ansi-test/tests.lisp"
-  (APD points out that this seems to be another symptom of bug #115.)
-  sbcl-0.7.9.43 dies with failed AVER "(EQ (TN-PHYSENV TN) TN-ENV)" when
-  trying to compile clocc-ansi-test/tests.lisp. sbcl-0.7.9.31 was able to
-  to compile it. A smaller test case exhibiting the same problem is
-   (declaim (optimize (speed 0) (safety 3) (debug 3)))
-   (defun c-a-p ()
-     (flet ((safe-format (stream string &rest r)
-              (unless (ignore-errors (progn
-                                       (apply #'format stream string r)
-                                       t))
-               (format stream "~&foo ~S" string))))
-       (cond
-        ((eq my-result :ERROR)
-         (cond
-          ((ignore-errors (typep condition result))
-           (safe-format t "~&bar ~S" result))
-          (t
-           (safe-format t "~&baz ~S (~A) ~S" condition condition result)))))))
+227: "compiler bewilderment with adjustable vectors and COPY-SEQ"
+  In sbcl-0.7.9.54 on x86,
+    (let ((v (make-array 0 :fill-pointer 0)))
+       (vector-push-extend 1 v) (copy-seq v))
+  fails with
+    The value 336206758 is not of type VECTOR.
+  More excitement follows from
+    (defun argh2 (x)
+      (let ((v (make-array 0 :fill-pointer 0)))
+        (vector-push-extend x v)
+        (format t
+               "~&~<~;/after VPE ~_~<V=~:_=~S~:>~;~:>~%"
+               (list
+                (let* ((xx1871 v) (nn1872 (/nn xx1871)))
+                  (list (if nn1872 nn1872 xx1871)))))
+        (copy-seq v)))
+  where (ARGH2 2) loops endlessly printing "/after VPE V==#(3)".
 
 
 DEFUNCT CATEGORIES OF BUGS
index 440cad3..18c797a 100644 (file)
@@ -681,8 +681,8 @@ the <parameter>speed</> quality inhibits this notification. This can
 be useful to suppress notes about code which is known to be
 unavoidably inefficient. (For example, the compiler issues notes about
 having to use generic arithmetic instead of fixnum arithmetic, which
-is not useful for code which truly can't guarantee that its arguments
-will always be fixnums.)</para>
+is not helpful for code which by design supports arbitrary-sized
+integers instead of being limited to fixnums.)</para>
 
 <note><para>The basic functionality of the <parameter>optimize
 inhibit-warnings</> extension will probably be supported in all future
index 8f69244..351d0bc 100644 (file)
@@ -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.9.61"
+"0.7.9.62"