From 4338298d74d6ae99ea93fa391d1506ace591ec18 Mon Sep 17 00:00:00 2001
From: ram <ram>
Date: Mon, 19 Mar 1990 12:09:06 +0000
Subject: [PATCH] In %COMPILER-DEFSTRUCT, made the structure copier and
 predicate at least be recognized as defined functions, even if we can't
 easily give them the correct type (becase the type system isn't in the cold
 load yet.)

---
 compiler/proclaim.lisp | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/compiler/proclaim.lisp b/compiler/proclaim.lisp
index 01f44f4de..9569660b1 100644
--- a/compiler/proclaim.lisp
+++ b/compiler/proclaim.lisp
@@ -202,6 +202,16 @@
     (pushnew (dd-name info)
 	     (dd-included-by (info type structure-info inc))))
 
+  ;;; ### Should declare arg/result types. 
+  (let ((copier (dd-copier info)))
+    (when copier
+      (define-function-name copier)))
+
+  ;;; ### Should make a known type predicate.
+  (let ((predicate (dd-predicate info)))
+    (when predicate
+      (define-function-name predicate)))
+
   (dolist (slot (dd-slots info))
     (let ((fun (dsd-accessor slot)))
       (define-function-name fun)
-- 
GitLab