1.0.23.59: bug 3b has been fixed a while now
authorNikodemus Siivola <nikodemus@random-state.net>
Fri, 19 Dec 2008 19:00:01 +0000 (19:00 +0000)
committerNikodemus Siivola <nikodemus@random-state.net>
Fri, 19 Dec 2008 19:00:01 +0000 (19:00 +0000)
 * Test case added.

BUGS
tests/defstruct.impure.lisp
version.lisp-expr

diff --git a/BUGS b/BUGS
index 414d010..9dd8b02 100644 (file)
--- a/BUGS
+++ b/BUGS
@@ -77,13 +77,6 @@ WORKAROUND:
   Such code should compile without complaint and work correctly either
   on SBCL or on any other completely compliant Common Lisp system.
 
-  b: &AUX argument in a boa-constructor without a default value means
-     "do not initilize this slot" and does not cause type error. But
-     an error may be signalled at read time and it would be good if
-     SBCL did it.
-
-  d: (fixed in 0.8.1.5)
-
 33:
   And as long as we're wishing, it would be awfully nice if INSPECT could
   also report on closures, telling about the values of the bound variables.
index 06a4b47..e0ab36e 100644 (file)
@@ -1049,3 +1049,15 @@ redefinition."
       (assert (raw-slot/circle-subst-p struct))
       (assert (eql 2.7158911 (raw-slot/circle-subst-x struct)))
       (assert (eql 45 n)))))
+
+(defstruct (bug-3b (:constructor make-bug-3b (&aux slot)))
+  (slot nil :type string))
+
+(with-test (:name :bug-3b)
+  (handler-case
+      (progn
+        (bug-3b-slot (make-bug-3b))
+        (error "fail"))
+    (type-error (e)
+      (assert (eq 'string (type-error-expected-type e)))
+      (assert (zerop (type-error-datum e))))))
index bb4371f..dcaced8 100644 (file)
@@ -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.23.58"
+"1.0.23.59"