0.8.1.36:

        * Remove several DECLAIMs for internal functions;
        * DEFSTRUCT: PROCLAIM return type of structure predicate.

diff --git a/BUGS b/BUGS
index 7586950..6e31933 100644 (file)
--- a/BUGS
+++ b/BUGS
@@ -1080,11 +1080,15 @@ WORKAROUND:
   AMOP seems to say that it should work (first ADD-METHOD initializes
   GF lambda list).
 
-263:
-  :PREFIX, :PER-LINE-PREFIX and :SUFFIX arguments of
-  PPRINT-LOGICAL-BLOCK may be complex strings.
+264:
+  (reported by <dsk> on #lisp 2003-07-16)
 
-  (fixed in 0.8.1.33)
+    (progv '(foo) '(1)
+      (eval '(symbol-macrolet ((foo 3))
+               (declare (special foo))
+               foo)))
+
+  does not signal an error.
 
 DEFUNCT CATEGORIES OF BUGS
   IR1-#:

diff --git a/src/code/class.lisp b/src/code/class.lisp
index 9c60ee0..91fb725 100644 (file)
--- a/src/code/class.lisp
+++ b/src/code/class.lisp
@@ -700,10 +700,6 @@
       (setf (info :type :classoid name)
            (make-classoid-cell name))))
 
-;;; FIXME: When the system is stable, this DECLAIM FTYPE should
-;;; probably go away in favor of the DEFKNOWN for FIND-CLASS.
-(declaim (ftype (function (symbol &optional t (or null sb!c::lexenv)))
-               find-classoid))
 (eval-when (#-sb-xc :compile-toplevel :load-toplevel :execute)
 (defun find-classoid (name &optional (errorp t) environment)
   #!+sb-doc

diff --git a/src/code/condition.lisp b/src/code/condition.lisp
index 4e686ef..b082c57 100644 (file)
--- a/src/code/condition.lisp
+++ b/src/code/condition.lisp
@@ -565,10 +565,12 @@
 
 (define-condition simple-condition ()
   ((format-control :reader simple-condition-format-control
-                  :initarg :format-control)
+                  :initarg :format-control
+                   :type format-control)
    (format-arguments :reader simple-condition-format-arguments
                     :initarg :format-arguments
-                    :initform '()))
+                    :initform '()
+                     :type list))
   (:report simple-condition-printer))
 
 (define-condition simple-warning (simple-condition warning) ())

diff --git a/src/code/defstruct.lisp b/src/code/defstruct.lisp
index 177d9c4..391aae1 100644 (file)
--- a/src/code/defstruct.lisp
+++ b/src/code/defstruct.lisp
@@ -993,7 +993,7 @@
 
     (let ((predicate-name (dd-predicate-name dd)))
       (when predicate-name
-       (sb!xc:proclaim `(ftype (sfunction (t) t) ,predicate-name))
+       (sb!xc:proclaim `(ftype (sfunction (t) boolean) ,predicate-name))
        ;; Provide inline expansion (or not).
        (ecase (dd-type dd)
          ((structure funcallable-structure)

diff --git a/src/code/macroexpand.lisp b/src/code/macroexpand.lisp
index f351784..36ab43c 100644 (file)
--- a/src/code/macroexpand.lisp
+++ b/src/code/macroexpand.lisp
@@ -28,7 +28,6 @@
   whenever a runtime expansion is needed. Initially this is set to
   FUNCALL.")
 
-(declaim (ftype (function (t &optional (or null sb!c::lexenv))) sb!xc:macroexpand-1))
 (defun sb!xc:macroexpand-1 (form &optional env)
   #!+sb-doc
   "If form is a macro (or symbol macro), expand it once. Return two values,
@@ -66,7 +65,6 @@
        (t
         (values form nil))))
 
-(declaim (ftype (function (t &optional (or null sb!c::lexenv))) sb!xc:macroexpand))
 (defun sb!xc:macroexpand (form &optional env)
   #!+sb-doc
   "Repetitively call MACROEXPAND-1 until the form can no longer be expanded.

diff --git a/src/compiler/info-functions.lisp b/src/compiler/info-functions.lisp
index b4f3c2e..a2dccfd 100644 (file)
--- a/src/compiler/info-functions.lisp
+++ b/src/compiler/info-functions.lisp
@@ -145,7 +145,6 @@
      (second form))
     (t form)))
 
-(declaim (ftype (function (symbol &optional (or null sb!c::lexenv))) sb!xc:macro-function))
 (defun sb!xc:macro-function (symbol &optional env)
   #!+sb-doc
   "If SYMBOL names a macro in ENV, returns the expansion function,

diff --git a/version.lisp-expr b/version.lisp-expr
index 09a18c5..94bd4f2 100644 (file)
--- a/version.lisp-expr
+++ b/version.lisp-expr
@@ -17,4 +17,4 @@
 ;;; checkins which aren't released. (And occasionally for internal
 ;;; versions, especially for internal versions off the main CVS
 ;;; branch, it gets hairier, e.g. "0.pre7.14.flaky4.13".)
-"0.8.1.35"
+"0.8.1.36"