Skip to content
Snippets Groups Projects
and.lsp 1.43 KiB
Newer Older
pfdietz's avatar
pfdietz committed
;-*- Mode:     Lisp -*-
;;;; Author:   Paul Dietz
;;;; Created:  Fri Oct 18 07:23:48 2002
;;;; Contains: Tests for AND

(in-package :cl-test)

(deftest and.1
  (and)
  t)

(deftest and.2
  (and nil)
  nil)

(deftest and.3
  (and 'a)
  a)

(deftest and.4
  (and (values 'a 'b 'c))
  a b c)

(deftest and.5 (and (values)))

(deftest and.6
  (and (values t nil) 'a)
  a)

(deftest and.7
  (and nil (values 'a 'b 'c))
  nil)

(deftest and.8
  (and (values 1 nil) (values nil 2))
  nil 2)

(deftest and.9
  (and (values nil t) t)
  nil)

;;; Test that explicit calls to macroexpand in subforms
;;; are done in the correct environment

(deftest and.10
  (macrolet
   ((%m (z) z))
   (and (expand-in-current-env (%m :a))
sds's avatar
sds committed
        (expand-in-current-env (%m :b))
        (expand-in-current-env (%m :c))))
pfdietz's avatar
pfdietz committed
  (let ((x 0))
    (values (and nil (incf x))
sds's avatar
sds committed
            x))
pfdietz's avatar
pfdietz committed
  nil 0)

(deftest and.order.2
  (let ((i 0) a b c d)
    (values
     (and (setf a (incf i))
sds's avatar
sds committed
          (setf b (incf i))
          (setf c (incf i))
          (setf d (incf i)))
  (signals-error (funcall (macro-function 'and))
sds's avatar
sds committed
                 program-error)
  (signals-error (funcall (macro-function 'and) '(and))
sds's avatar
sds committed
                 program-error)
  (signals-error (funcall (macro-function 'and) '(and) nil nil)
sds's avatar
sds committed
                 program-error)