(declare (type (simple-array (unsigned-byte 32) (*)) a))
(declare (type (function (fixnum)) f))
(funcall f (aref a 0))))
+ #-x86-64
(assert
(eval `(let ((n (1+ most-positive-fixnum)))
(if (not (typep n '(unsigned-byte 32)))
(make-array 1 :element-type '(unsigned-byte 32)
:initial-element n))
nil)))))))
+
+;;; bug 261
+(let ((x (list (the (values &optional fixnum) (eval '(values))))))
+ (assert (equal x '(nil))))
+
+;;; Bug 125, reported by Gabe Garza: Python did not preserve identity
+;;; of closures.
+(flet ((test-case (test-pred x)
+ (let ((func (lambda () x)))
+ (list (eq func func)
+ (funcall test-pred func func)
+ (delete func (list func))))))
+ (assert (equal '(t t nil) (funcall (eval #'test-case) #'eq 3))))
+
+;;; compiler failure reported by Alan Shields:
+;;; MAYBE-INFER-ITERATION-VAR-TYPE did not deal with types (REAL * (n)).
+(let ((s (loop for x from (- pi) below (floor (* 2 pi)) by (/ pi 75) count t)))
+ (assert (= s 219)))