X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcode%2Fdescribe.lisp;h=7da9cd7a0cdab08a8c21a23ed270789e0dca94f7;hb=fbae90af33b92c5411ddcb419485dcf2bca47ab7;hp=47a8af252ede7e679fc5b5d7bd20accbac788f86;hpb=f22ad70037030c07074327cf239bd84dc17b44b6;p=sbcl.git

diff --git a/src/code/describe.lisp b/src/code/describe.lisp
index 47a8af2..7da9cd7 100644
--- a/src/code/describe.lisp
+++ b/src/code/describe.lisp
@@ -312,7 +312,8 @@
                 (:special "special variable")
                 (:macro "symbol macro")
                 (:constant "constant")
-                (:global "undefined variable")
+                (:global "global variable")
+                (:unknown "undefined variable")
                 (:alien nil))))
     (pprint-logical-block (s nil)
       (cond
@@ -330,7 +331,7 @@
        ((boundp x)
         (format s "~&~@<It is a ~A; its ~_value is ~S.~:>"
                 wot (symbol-value x)))
-       ((not (eq kind :global))
+       ((not (eq kind :unknown))
         (format s "~&~@<It is a ~A; no current value.~:>" wot)))
 
       (when (eq (info :variable :where-from x) :declared)
@@ -350,9 +351,13 @@
         ((fboundp x)
          (describe-symbol-fdefinition (fdefinition x) s :name x)))
 
+  ;; Describe deftype lambda-list and doc
+  (when (info :type :expander x)
+    (format s "~&DEFTYPE lambda-list: ~A" (info :type :lambda-list x))
+    (%describe-doc x s 'type "Type"))
+
   ;; Print other documentation.
   (%describe-doc x s 'structure "Structure")
-  (%describe-doc x s 'type "Type")
   (%describe-doc x s 'setf "Setf macro")
   (dolist (assoc (info :random-documentation :stuff x))
     (let ((type (car assoc)))