X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcode%2Fdescribe.lisp;h=cfee036c436a618c40e5a499fe89914ba8e7df2a;hb=9f175370f90a586b53ce086dce7fadf3cfb80ec4;hp=4b47de6b9b8f2735728aeaca9087a120cf7aaa40;hpb=51a0c5601903cd78dee59781e07bfce91328aa67;p=sbcl.git

diff --git a/src/code/describe.lisp b/src/code/describe.lisp
index 4b47de6..cfee036 100644
--- a/src/code/describe.lisp
+++ b/src/code/describe.lisp
@@ -254,6 +254,8 @@
         (when (eq (info :variable :where-from symbol) :declared)
           (format stream "~@:_Declared type: ~S"
                   (type-specifier (info :variable :type symbol))))
+        (when (info :variable :always-bound symbol)
+          (format stream "~@:_Declared always-bound."))
         (cond
           ((eq kind :alien)
            (let ((info (info :variable :alien-info symbol)))
@@ -308,6 +310,17 @@
             (format stream "~@:_Expansion: ~S" (funcall fun (list symbol))))))
       (terpri stream)))
 
+  (when (or (member symbol sb-c::*policy-qualities*)
+            (assoc symbol sb-c::*policy-dependent-qualities*))
+    (pprint-logical-block (stream nil)
+      (pprint-newline :mandatory stream)
+      (pprint-indent :block 2 stream)
+      (format stream "~A names a~:[ dependent~;n~] optimization policy quality:"
+              symbol
+              (member symbol sb-c::*policy-qualities*))
+      (describe-documentation symbol 'optimize stream t))
+    (terpri stream))
+
   ;; Print out properties.
   (let ((plist (symbol-plist symbol)))
     (when plist