Commit 94743c6e authored by Christophe Rhodes's avatar Christophe Rhodes
Browse files

0.8.7.37: 

	Fix for the type translation of the class corresponding to
	(SIMPLE-ARRAY (UNSIGNED-BYTE 15) (*))
parent 84271f26

NEWS

+2 −0
Original line number Diff line number Diff line
@@ -2257,6 +2257,8 @@ changes in sbcl-0.8.8 relative to sbcl-0.8.7: 
    behaviour, and in particular no longer treats all memory as being

    exhausted when many small objects point to each other in a deeply

    recursive manner.

  * bug fix: arrays specialized on (UNSIGNED-BYTE 15) are now

    recognized as being TYPEP their class.

  * optimization: implemented multiplication as a modular

    (UNSIGNED-BYTE 32) operation on the x86 backend.

  * optimization: SEARCH on simple-base-strings can now be open-coded.

src/code/class.lisp

+1 −1
Original line number Diff line number Diff line
@@ -1080,7 +1080,7 @@ 
      :inherits (vector simple-array array sequence)

      :prototype-form (make-array 0 :element-type '(unsigned-byte 8)))

     (simple-array-unsigned-byte-15

      :translation (simple-array (unsigned-byte 7) (*))

      :translation (simple-array (unsigned-byte 15) (*))

      :codes (#.sb!vm:simple-array-unsigned-byte-15-widetag)

      :direct-superclasses (vector simple-array)

      :inherits (vector simple-array array sequence)

tests/type.pure.lisp

+4 −0
Original line number Diff line number Diff line
@@ -206,3 +206,7 @@ 
;;; bug 46c

(dolist (fun '(and if))

  (assert (raises-error? (coerce fun 'function) type-error)))



(dotimes (i 100)

  (let ((x (make-array 0 :element-type `(unsigned-byte ,(1+ i)))))

    (eval `(typep ,x (class-of ,x)))))

version.lisp-expr

+1 −1
Original line number Diff line number Diff line
@@ -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.7.36"
 
"0.8.7.37"