0.8.0.19:

[sbcl.git] / src / compiler / late-proclaim.lisp

diff --git a/src/compiler/late-proclaim.lisp b/src/compiler/late-proclaim.lisp
new file mode 100644 (file)
index 0000000..7578040
--- /dev/null
+++ b/src/compiler/late-proclaim.lisp
@@ -0,0 +1,27 @@
+;;;; late happenning functionality for PROCLAIM.  We run through
+;;;; queued-up type and ftype proclaims that were made before the type
+;;;; system was initialized, and (since it is now initalized)
+;;;; reproclaim them.
+
+;;;; This software is part of the SBCL system. See the README file for
+;;;; more information.
+;;;;
+;;;; This software is derived from the CMU CL system, which was
+;;;; written at Carnegie Mellon University and released into the
+;;;; public domain. The software is in the public domain and is
+;;;; provided with absolutely no warranty. See the COPYING and CREDITS
+;;;; files for more information.
+
+(in-package "SB!C")
+
+(!begin-collecting-cold-init-forms)
+
+(!cold-init-forms (aver *type-system-initialized*))
+(!cold-init-forms (mapcar #'sb!xc:proclaim *queued-proclaims*))
+;;; We only need this once, then it's set up for good.  We keep it
+;;; around in the cross-compiler mostly so that we can inspect its
+;;; value.
+#-sb-xc-host
+(!cold-init-forms (makunbound '*queued-proclaims*))
+
+(!defun-from-collected-cold-init-forms !late-proclaim-cold-init)