Changeset 15351


Ignore:
Timestamp:
May 5, 2012, 4:19:02 AM (7 years ago)
Author:
gb
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:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/tests/ansi-tests/ccl.lsp

    r15136 r15351  
    320320      (let ((ccl::*nx-safety* 1)) ;; At safety 3, we don't know from EQ...
    321321        (eval '(defun cl-test::ccl.bug#294-1 (x y)
    322                 (eq x) y)))
     322                (if x) y)))
    323323    (program-error () :program-error))
    324324  :program-error)
     
    326326(deftest ccl.bug#294-2
    327327  (let* ((file (test-source-file
    328                 "(defun cl-test::ccl.bug#294-2 (x y) (eq x) y)")))
     328                "(defun cl-test::ccl.bug#294-2 (x y) (if x) y)")))
    329329    (fmakunbound ' cl-test::ccl.bug#294-2)
    330330    (handler-case (test-compile file :break-on-program-errors t)
     
    334334(deftest ccl.buf#294-3
    335335  (let* ((file (test-source-file
    336                 "(defun cl-test::ccl.bug#294-3 (x y) (eq x) y)"))
     336                "(defun cl-test::ccl.bug#294-3 (x y) (if x) y)"))
    337337         (warnings nil))
    338338    (fmakunbound ' cl-test::ccl.bug#294-3)
Note: See TracChangeset for help on using the changeset viewer.