X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Finterface.pure.lisp;h=b3f8949ac87ab6d54712e207d2cbbaac86769712;hb=4e3b57699314dbd3883470d9b196287b178f3e6d;hp=858ee3fb2be82f0c59b38754e6c7476348abfcbc;hpb=d40a76606c86722b0aef8179155f9f2840739b72;p=sbcl.git diff --git a/tests/interface.pure.lisp b/tests/interface.pure.lisp index 858ee3f..b3f8949 100644 --- a/tests/interface.pure.lisp +++ b/tests/interface.pure.lisp @@ -15,56 +15,6 @@ ;;;; properties of symbols, e.g. presence of doc strings for public symbols -;;; Check for fbound external symbols in public packages that have no -;;; argument list information. (This used to be possible when we got -;;; carried away with byte compilation, since the byte compiler can't -;;; record argument list information. Now that there's no byte -;;; compiler, that can't happen, but it still shouldn't hurt to check -;;; in case the argument information goes astray some other way.) -(defvar *public-package-names* - '("SB-ALIEN" "SB-C-CALL" "SB-DEBUG" "SB-EXT" "SB-GRAY" "SB-MP" - "SB-PROFILE" "SB-PCL" "COMMON-LISP")) -(defun has-arglist-info-p (fun) - (declare (type function fun)) - ;; The Lisp-level type FUNCTION can conceal a multitude of sins.. - (case (sb-kernel:widetag-of fun) - ((#.sb-vm:simple-fun-header-widetag #.sb-vm:closure-fun-header-widetag) - (sb-kernel:%simple-fun-arglist fun)) - (#.sb-vm:closure-header-widetag (has-arglist-info-p - (sb-kernel:%closure-fun fun))) - ;; In code/describe.lisp, ll. 227 (%describe-fun), we use a scheme - ;; like above, and it seems to work. -- MNA 2001-06-12 - ;; - ;; (There might be other cases with arglist info also. - ;; SIMPLE-FUN-HEADER-WIDETAG and CLOSURE-HEADER-WIDETAG just - ;; happen to be the two case that I had my nose rubbed in when - ;; debugging a GC problem caused by applying %SIMPLE-FUN-ARGLIST to - ;; a closure. -- WHN 2001-06-05) - (t nil))) -(defun check-ext-symbols-arglist (package) - (format t "~% looking at package: ~A" package) - (do-external-symbols (ext-sym package) - (when (fboundp ext-sym) - (let ((fun (symbol-function ext-sym))) - (cond ((macro-function ext-sym) - ;; FIXME: Macro functions should have their argument list - ;; information checked separately. Just feeding them into - ;; the ordinary-function logic below doesn't work right, - ;; though, and I haven't figured out what does work - ;; right. For now we just punt. - (values)) - ((typep fun 'generic-function) - (sb-pcl::generic-function-pretty-arglist fun)) - (t - (let ((fun (symbol-function ext-sym))) - (unless (has-arglist-info-p fun) - (error "Function ~A has no arg-list information available." - ext-sym))))))))) -(dolist (public-package *public-package-names*) - (when (find-package public-package) - (check-ext-symbols-arglist public-package))) -(terpri) - ;;; FIXME: It would probably be good to require here that every ;;; external symbol either has a doc string or has some good excuse ;;; (like being an accessor for a structure which has a doc string).