diff --git a/compiler/macros.lisp b/compiler/macros.lisp
index ca793e2f3a78f8c310ab074e26c79703905bfaa8..438887352493e36147b29082acf625c88e1b57da 100644
--- a/compiler/macros.lisp
+++ b/compiler/macros.lisp
@@ -828,13 +828,13 @@
 ;;;
 ;;;    Start and finish the the printing of a defprinter function.
 ;;;
-(proclaim '(ftype (function (symbol stream fixnum t) void)
-		  start-defprinter finish-defprinter))
 (defun start-defprinter (name stream indent object)
+  (declare (symbol name) (stream stream) (index indent))
   (declare (ignore indent))
   (format stream "#<~S ~X" name (system:%primitive make-fixnum object)))
 ;;;
 (defun finish-defprinter (name stream indent)
+  (declare (symbol name) (stream stream) (index indent))
   (declare (ignore name))
   (if *defprint-pretty*
       (format stream ">~%~VT" indent)