src/code/primordial-type.lisp

   1 ;;;; This software is part of the SBCL system. See the README file for
   2 ;;;; more information.
   3 ;;;;
   4 ;;;; This software is derived from the CMU CL system, which was
   5 ;;;; written at Carnegie Mellon University and released into the
   6 ;;;; public domain. The software is in the public domain and is
   7 ;;;; provided with absolutely no warranty. See the COPYING and CREDITS
   8 ;;;; files for more information.
   9
  10 (in-package "SB!KERNEL")
  11
  12 ;;; Has the type system been properly initialized? (I.e. is it OK to
  13 ;;; use it?)
  14 (!defglobal *type-system-initialized* nil)
  15
  16 ;; These are set by cold-init-forms in 'late-type' (look for "macrolet frob").
  17 ;; It is a requirement of the type machinery that there be
  18 ;; exactly one instance of each of these, which is to say,
  19 ;; any type named T is exactly EQ to *UNIVERSAL-TYPE*, etc.
  20 (defglobal *wild-type* -1)
  21 (defglobal *empty-type* -1)
  22 (defglobal *universal-type* -1)
  23 (defglobal *instance-type* -1)
  24 (defglobal *funcallable-instance-type* -1)
  25 (defglobal *extended-sequence-type* -1)
  26
  27 ;; Unlike the above, this one is not a NAMED-TYPE, and as such
  28 ;; does not have to be a singleton, but it improves efficiency.
  29 ;; (Except that we never really need it for anything)
  30 (defglobal *universal-fun-type* -1)
  31
  32 ;;; a vector that maps type codes to layouts, used for quickly finding
  33 ;;; the layouts of built-in classes
  34 (defglobal **built-in-class-codes** #()) ; initialized in cold load
  35 (declaim (type simple-vector **built-in-class-codes**))