get-defined-fun: handle :declared-verify.
[sbcl.git] / tests / package-test-5.lisp
blobd4a9dce6173b6de0e3015ad3291fdedebbef992a
1 (defun foo.delete-package-redefpackage ()
2 (let ((package (find-package :bar-drrfl)))
3 (when package
4 (let ((count 0))
5 (do-symbols (sym package)
6 (incf count))
7 (assert (= count 2))
8 (delete-package package))))
9 (make-package "BAR-DRRFL" :use ())
10 (let ((package (find-package :bar-drrfl))
11 (count 0))
12 (do-symbols (sym package)
13 (incf count))
14 (assert (= count 0))
15 (eval (read-from-string
16 "(progn
17 (defun bar-drrfl::a ())
18 (defun bar-drrfl::b ()))"))))