Skip to content
Snippets Groups Projects
Commit dfe32b5d authored by dtc's avatar dtc
Browse files

Add support for (declare (TYPE typespec ...)) being abbreviated to

(declare (typespec ..)). A compiler note is generated at high brevity
for now when abbreviated declarations are processed to help catch any
problems.
parent 57808526
No related branches found
No related tags found
No related merge requests found
......@@ -5,7 +5,7 @@
;;; Carnegie Mellon University, and has been placed in the public domain.
;;;
(ext:file-comment
"$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/ir1tran.lisp,v 1.110 1997/08/21 18:38:50 pw Exp $")
"$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/ir1tran.lisp,v 1.111 1998/05/15 03:26:59 dtc Exp $")
;;;
;;; **********************************************************************
;;;
......@@ -1150,6 +1150,13 @@
(let ((what (first spec)))
(cond ((member what type-specifier-symbols)
(process-type-declaration spec res vars))
((and (not (and (symbolp what)
(string= (symbol-name what) "CLASS"))) ; pcl hack
(or (info type kind what)
(and (consp what) (info type translator (car what)))))
(unless (policy nil (= brevity 3))
(compiler-note "Abbreviated type declaration: ~S." spec))
(process-type-declaration spec res vars))
((info declaration recognized what)
res)
(t
......
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