;-*- Mode:     Lisp -*-
;;;; Author:   Paul Dietz
;;;; Created:  Tue Oct  8 00:09:14 2002
;;;; Contains: Tests for FMAKUNBOUND



(deftest fmakunbound.1
  (let ((g (gensym)))
    (and (not (fboundp g))
         (setf (symbol-function g) #'car)
         (fboundp g)
         (values (eqt (check-values (fmakunbound g)) g)
                 (fboundp g))))
  t nil)

(deftest fmakunbound.2
  (let ((g (gensym)))
    (and (not (fboundp g))
         (eval `(defun ,g () nil))
         (fboundp g)
         (values (eqt (check-values (fmakunbound g)) g)
                 (fboundp g))))
  t nil)

(deftest fmakunbound.3
  (let ((g (gensym)))
    (and (not (fboundp g))
         (eval `(defmacro ,g () nil))
         (fboundp g)
         (values (eqt (check-values (fmakunbound g)) g)
                 (fboundp g))))
  t nil)

(deftest fmakunbound.4
  (let* ((g (gensym))
         (n `(setf ,g)))
    (and (not (fboundp n))
         (eval `(defun ,n () nil))
         (fboundp n)
         (values (equalt (check-values (fmakunbound n)) n)
                 (fboundp n))))
  t nil)

(deftest fmakunbound.error.1
  (check-type-error #'fmakunbound
                    #'(lambda (x) (typep x '(or symbol (cons (eql setf) (cons symbol null))))))
  nil)

(deftest fmakunbound.error.2
  (check-type-error #'fmakunbound (constantly nil)
                    '((setf) (setf . foo) (setf foo . bar) (setf foo bar)))
  nil)

(deftest fmakunbound.error.3
  (signals-type-error x '(x) (fmakunbound x))
  t)

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

(deftest fmakunbound.error.5
  (signals-error (fmakunbound (gensym) nil) program-error)
  t)

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

(deftest fmakunbound.error.7
  (loop for x in *mini-universe*
        unless (symbolp x)
        nconc
        (handler-case
         (list x (fmakunbound `(setf ,x)))
         (type-error (c)
                     (assert (not (typep (type-error-datum c)
                                         (type-error-expected-type c))))
                     nil)
         (error (c) (list (list x c)))))
  nil)