From 7d79a3b7b8f074ed4c68348f8a9018de8b767e6a Mon Sep 17 00:00:00 2001 From: ram <ram> Date: Fri, 8 Nov 1991 15:23:50 +0000 Subject: [PATCH] Changed FTYPE proclaim to ignore slot accessors, instead of undefining the structure. --- compiler/proclaim.lisp | 14 +++++++++----- 1 file changed, 9 insertions(+), 5 deletions(-) diff --git a/compiler/proclaim.lisp b/compiler/proclaim.lisp index f85ae0df9..7518ffecc 100644 --- a/compiler/proclaim.lisp +++ b/compiler/proclaim.lisp @@ -7,7 +7,7 @@ ;;; Scott Fahlman or slisp-group@cs.cmu.edu. ;;; (ext:file-comment - "$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/proclaim.lisp,v 1.18 1991/05/28 17:54:59 ram Exp $") + "$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/proclaim.lisp,v 1.19 1991/11/08 15:23:50 ram Exp $") ;;; ;;; ********************************************************************** ;;; @@ -325,10 +325,14 @@ (error "Declared functional type is not a function type: ~S." (first args))) (dolist (name (rest args)) - (define-function-name name) - (note-name-defined name :function) - (setf (info function type name) type) - (setf (info function where-from name) :declared))))) + (cond ((info function accessor-for name) + (warn "Ignoring FTYPE declaration for slot accesor:~% ~S" + name)) + (t + (define-function-name name) + (note-name-defined name :function) + (setf (info function type name) type) + (setf (info function where-from name) :declared))))))) (freeze-type (dolist (type args) (specifier-type type); Give undefined type warnings... -- GitLab