0.pre7.127:

[sbcl.git] / tests / interface.pure.lisp

diff --git a/tests/interface.pure.lisp b/tests/interface.pure.lisp
index 8c163b8..858ee3f 100644 (file)
--- a/tests/interface.pure.lisp
+++ b/tests/interface.pure.lisp
@@ -1,3 +1,5 @@
+;;;; tests for problems in the interface presented to the user/programmer
+
 ;;;; This software is part of the SBCL system. See the README file for
 ;;;; more information.
 ;;;;
@@ -10,6 +12,8 @@
 ;;;; more information.
 
 (in-package :cl-user)
+\f
+;;;; 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
@@ -20,22 +24,21 @@
 (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 (function)
-  (declare (type function function))
+(defun has-arglist-info-p (fun)
+  (declare (type function fun))
   ;; The Lisp-level type FUNCTION can conceal a multitude of sins..
-  (case (sb-kernel:get-type function)
-    ((#.sb-vm:function-header-type #.sb-vm:closure-function-header-type)
-      (sb-kernel:%function-arglist function))
-    (#.sb-vm:closure-header-type (has-arglist-info-p
-                                  (sb-kernel:%closure-function
-                                   function)))
-    ;; In code/describe.lisp, ll. 227 (%describe-function), we use a scheme
+  (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.
-    ;; FUNCTION-HEADER-TYPE and CLOSURE-HEADER-TYPE just
+    ;; 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 %FUNCTION-ARGLIST to
+    ;; 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)
@@ -50,9 +53,6 @@
               ;; though, and I haven't figured out what does work
               ;; right. For now we just punt.
               (values))
-             #+nil 
-             ((sb-int:info :function :accessor-for ext-sym)
-              (values))
              ((typep fun 'generic-function)
                 (sb-pcl::generic-function-pretty-arglist fun))
              (t
@@ -68,3 +68,12 @@
 ;;; 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).
+\f
+;;;; tests of interface machinery
+
+;;; APROPOS should accept a package designator, not just a package, and
+;;; furthermore do the right thing when it gets a package designator.
+;;; (bug reported and fixed by Alexey Dejneka sbcl-devel 2001-10-17)
+(assert (< 0
+          (length (apropos-list "PRINT" :cl))
+          (length (apropos-list "PRINT"))))