Skip to content
Snippets Groups Projects
Commit 7d79a3b7 authored by ram's avatar ram
Browse files

Changed FTYPE proclaim to ignore slot accessors, instead of undefining

the structure.
parent 2a2c11b2
No related branches found
No related tags found
No related merge requests found
...@@ -7,7 +7,7 @@ ...@@ -7,7 +7,7 @@
;;; Scott Fahlman or slisp-group@cs.cmu.edu. ;;; Scott Fahlman or slisp-group@cs.cmu.edu.
;;; ;;;
(ext:file-comment (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 @@ ...@@ -325,10 +325,14 @@
(error "Declared functional type is not a function type: ~S." (error "Declared functional type is not a function type: ~S."
(first args))) (first args)))
(dolist (name (rest args)) (dolist (name (rest args))
(define-function-name name) (cond ((info function accessor-for name)
(note-name-defined name :function) (warn "Ignoring FTYPE declaration for slot accesor:~% ~S"
(setf (info function type name) type) name))
(setf (info function where-from name) :declared))))) (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 (freeze-type
(dolist (type args) (dolist (type args)
(specifier-type type); Give undefined type warnings... (specifier-type type); Give undefined type warnings...
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment