-253: "type checking is embedded THEs"
- Compiler cannot perform type checking in
-
- (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.
-
-255:
- In sbcl-0.8.0.52, COMPILE-FILE on
- (cl:in-package :cl-user)
- (declaim (optimize (safety 3) (debug 2) (speed 2) (space 1)))
- (defvar *1*)
- (defvar *2*)
- (defstruct v a b)
- (defstruct w)
- (defstruct yam (v nil :type (or v null)))
- (defstruct un u)
- (defstruct (bod (:include un)) bo)
- (defstruct (bad (:include bod)) ba)
- (declaim (ftype (function ((or w bad) (or w bad)) (values)) %ufm))
- (defun %ufm (base bound) (froj base bound *1*) (values))
- (declaim (ftype (function ((vector t)) (or w bad)) %pu))
- (defun %pu (pds) *2*)
- (defun uu (yam)
- (let ((v (yam-v az)))
- (%ufm v
- (flet ((project (x) (frob x 0)))
- (let ((avecname *1*))
- (multiple-value-prog1
- (progn (%pu avecname))
- (frob)))))))
- fails with
- failed AVER:
- "(AND (EQ (CONTINUATION-KIND START) INSIDE-BLOCK) (NOT (BLOCK-DELETE-P BLOCK)))"