From 68612b8227bdd1a9e70962201f54231c82affa17 Mon Sep 17 00:00:00 2001 From: Alexey Dejneka Date: Thu, 17 Jul 2003 08:14:30 +0000 Subject: [PATCH] 0.8.1.36: * Remove several DECLAIMs for internal functions; * DEFSTRUCT: PROCLAIM return type of structure predicate. --- BUGS | 12 ++++++++---- src/code/class.lisp | 4 ---- src/code/condition.lisp | 6 ++++-- src/code/defstruct.lisp | 2 +- src/code/macroexpand.lisp | 2 -- src/compiler/info-functions.lisp | 1 - version.lisp-expr | 2 +- 7 files changed, 14 insertions(+), 15 deletions(-) diff --git a/BUGS b/BUGS index 7586950..6e31933 100644 --- 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 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 --- 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 --- 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 --- 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 --- 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 --- 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 --- 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" -- 1.7.10.4