[Sbcl-commits] CVS: sbcl BUGS,1.300,1.301 version.lisp-expr,1.1041,1.1042

[William H. N. <wn...@us...>]

Update of /cvsroot/sbcl/sbcl
In directory sc8-pr-cvs1:/tmp/cvs-serv4446

Modified Files:
	BUGS version.lisp-expr 
Log Message:
0.8.0.53:
	new BUGS entry


Index: BUGS
===================================================================
RCS file: /cvsroot/sbcl/sbcl/BUGS,v
retrieving revision 1.300
retrieving revision 1.301
diff -u -d -r1.300 -r1.301
--- BUGS	7 Jun 2003 13:49:12 -0000	1.300
+++ BUGS	9 Jun 2003 15:19:24 -0000	1.301
@@ -636,6 +636,7 @@
 
   (due to reordering of the compiler this example is compiled
   successfully by 0.7.14, but the bug probably remains)
+  (possibly exercised by bug 254 test case)
 
 162:
   (reported by Robert E. Brown 2002-04-16) 
@@ -1118,6 +1119,37 @@
     (let () (list (the fixnum (the unsigned-byte (eval -1)))))
 
   (fixed in 0.8.0.34)
+
+254: (possibly bug 148 in a new guise)
+  In sbcl-0.8.0.52, COMPILE-FILE on 
+    (cl:in-package :cl-user)
+    (declaim (optimize (safety 3) (debug 2) (speed 2) (space 1)))
+    (defstruct foo
+      (uhw2 nil :type (or package null)))
+    (macrolet ((defprojection (variant &key lexpr eexpr)
+                 (let ()
+                   `(defmethod uu ((foo foo))
+                        (let ((uhw2 (foo.uhw2 bar)))
+                          (let ()
+                            (u-flunt uhw2
+                                     (baz (funcall ,lexpr south east 1)))))))))
+      (defprojection h
+        :lexpr (lambda (south east sched)
+                 (flet ((bd (x) (bref x sched)))
+                   (let ((avecname (gafp)))
+                     (declare (type (vector t) avecname))
+                     (multiple-value-prog1
+                         (progn
+                           (setf (avec.count avecname) (length rest))
+                           (setf (aref avecname 0) (bd (h south)))
+                           (setf (aref avecname 1) (bd (h east)))
+                           (stub avecname))
+                       (paip avecname)))))
+        :eexpr (lambda (south east))))
+  fails with 
+    debugger invoked on condition of type TYPE-ERROR:
+      The value NIL is not of type SB-C::NODE.
+
 
 DEFUNCT CATEGORIES OF BUGS
   IR1-#:

Index: version.lisp-expr
===================================================================
RCS file: /cvsroot/sbcl/sbcl/version.lisp-expr,v
retrieving revision 1.1041
retrieving revision 1.1042
diff -u -d -r1.1041 -r1.1042
--- version.lisp-expr	8 Jun 2003 21:30:28 -0000	1.1041
+++ version.lisp-expr	9 Jun 2003 15:19:25 -0000	1.1042
@@ -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".)
-"0.8.0.52"
+"0.8.0.53"