Changeset 15351

Timestamp:

May 4, 2012, 9:19:02 PM (13 years ago)

Author:

Gary Byers

Message:

BUG-294: the compiler may or may not signal a PROGRAM-ERROR on
a call to EQ with 1 arg, but (IF X) is always bogus.

File:

• trunk/tests/ansi-tests/ccl.lsp (modified) (3 diffs)

trunk/tests/ansi-tests/ccl.lsp

@@ -320 +320 @@
       (let ((ccl::*nx-safety* 1)) ;; At safety 3, we don't know from EQ...
         (eval '(defun cl-test::ccl.bug#294-1 (x y)
-                (eq x) y)))
+                (if x) y)))
     (program-error () :program-error))
   :program-error)
@@ -326 +326 @@
 (deftest ccl.bug#294-2
   (let* ((file (test-source-file
-                "(defun cl-test::ccl.bug#294-2 (x y) (eq x) y)")))
+                "(defun cl-test::ccl.bug#294-2 (x y) (if x) y)")))
     (fmakunbound ' cl-test::ccl.bug#294-2)
     (handler-case (test-compile file :break-on-program-errors t)
@@ -334 +334 @@
 (deftest ccl.buf#294-3
   (let* ((file (test-source-file
-                "(defun cl-test::ccl.bug#294-3 (x y) (eq x) y)"))
+                "(defun cl-test::ccl.bug#294-3 (x y) (if x) y)"))
          (warnings nil))
     (fmakunbound ' cl-test::ccl.bug#294-3)