;-*- Mode:     Lisp -*-
  Author :     
  Created :   Sat Mar 28 07:34:40 1998
;;;; Contains: Tests of ENDP





(deftest endp-nil
  (notnot-mv (endp nil))
  t)

(deftest endp-cons
  (endp (cons 'a 'a))
  nil)

(deftest endp-singleton-list
  (endp '(a))
  nil)

(deftest endp.order.1
  (let ((i 0))
    (values
     (endp (progn (incf i) '(a b c)))
     i))
  nil 1)

(deftest endp.error.1
  (check-type-error #'endp #'listp)
  nil)

(deftest endp.error.4
  (signals-error (endp) program-error)
  t)

(deftest endp.error.5
  (signals-error (endp nil nil) program-error)
  t)

(deftest endp.error.6
  (signals-error (locally (endp 1)) type-error)
  t)

-*- Mode:     Lisp -*-
 Contains: Tests of ENDP
  Author :     
  Created :   Sat Mar 28 07:34:40 1998





(deftest endp-nil
  (notnot-mv (endp nil))
  t)

(deftest endp-cons
  (endp (cons 'a 'a))
  nil)

(deftest endp-singleton-list
  (endp '(a))
  nil)

(deftest endp.order.1
  (let ((i 0))
    (values
     (endp (progn (incf i) '(a b c)))
     i))
  nil 1)

(deftest endp.error.1
  (check-type-error #'endp #'listp)
  nil)

(deftest endp.error.4
  (signals-error (endp) program-error)
  t)

(deftest endp.error.5
  (signals-error (endp nil nil) program-error)
  t)

(deftest endp.error.6
  (signals-error (locally (endp 1)) type-error)
  t)
