X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Fcompiler.pure-cload.lisp;h=04eb4d7473bb5c5d94f878cad64028b4bbefebe5;hb=b41f8c974ccfba8a59ec2a6af843e8869e14be5f;hp=b61f5e525b1ec2f0d60d42e932f1a8960d877e19;hpb=11f02398a1a9ccbde847c82fd233e8378e45c29c;p=sbcl.git diff --git a/tests/compiler.pure-cload.lisp b/tests/compiler.pure-cload.lisp index b61f5e5..04eb4d7 100644 --- a/tests/compiler.pure-cload.lisp +++ b/tests/compiler.pure-cload.lisp @@ -131,6 +131,7 @@ (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))) @@ -147,3 +148,17 @@ ;;; 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)))