From dfe32b5df711eb67f773c0d6b39c0fbfb0c2b421 Mon Sep 17 00:00:00 2001
From: dtc <dtc>
Date: Fri, 15 May 1998 03:26:59 +0000
Subject: [PATCH] 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.

---
 compiler/ir1tran.lisp | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/compiler/ir1tran.lisp b/compiler/ir1tran.lisp
index eba54fa76..19590123c 100644
--- a/compiler/ir1tran.lisp
+++ b/compiler/ir1tran.lisp
@@ -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
-- 
GitLab