0.7.4.21:

[sbcl.git] / tests / compiler.pure.lisp

diff --git a/tests/compiler.pure.lisp b/tests/compiler.pure.lisp
index 41baa31..7b4346c 100644 (file)
--- a/tests/compiler.pure.lisp
+++ b/tests/compiler.pure.lisp
@@ -1,4 +1,4 @@
-;;;; various compiler tests without side-effects
+;;;; various compiler tests without side effects
 
 ;;;; This software is part of the SBCL system. See the README file for
 ;;;; more information.
@@ -85,3 +85,47 @@
                    (list x)))))
   (assert (null value))
   (assert (typep error 'error)))
+
+;;; bug 169 (reported by Alexey Dejneka 2002-05-12, fixed by David
+;;; Lichteblau 2002-05-21)
+(progn
+  (multiple-value-bind (fun warnings-p failure-p)
+      (compile nil
+              ;; Compiling this code should cause a STYLE-WARNING
+              ;; about *X* looking like a special variable but not
+              ;; being one.
+              '(lambda (n)
+                 (let ((*x* n))
+                   (funcall (symbol-function 'x-getter))
+                   (print *x*))))
+    (assert (functionp fun))
+    (assert warnings-p)
+    (assert (not failure-p)))
+  (multiple-value-bind (fun warnings-p failure-p)
+      (compile nil
+              ;; Compiling this code should not cause a warning
+              ;; (because the DECLARE turns *X* into a special
+              ;; variable as its name suggests it should be).
+              '(lambda (n)
+                 (let ((*x* n))
+                   (declare (special *x*))
+                   (funcall (symbol-function 'x-getter))
+                   (print *x*))))
+    (assert (functionp fun))
+    (assert (not warnings-p))
+    (assert (not failure-p))))
+
+;;; a bug in 0.7.4.11
+(dolist (i '(a b 1 2 "x" "y"))
+  ;; In sbcl-0.7.4.11, the compiler tried to source-transform the
+  ;; TYPEP here but got confused and died, doing
+  ;;   (ASSOC '(AND INTEGERP (SATISFIES PLUSP)))
+  ;;          *BACKEND-TYPE-PREDICATES*
+  ;;          :TEST #'TYPE=)
+  ;; and blowing up because TYPE= tried to call PLUSP on the
+  ;; characters of the MEMBER-TYPE representing STANDARD-CHAR.
+  (when (typep i '(and integer (satisfies oddp)))
+    (print i)))
+(dotimes (i 14)
+  (when (typep i '(and integer (satisfies oddp)))
+    (print i)))