src/code/cl-specials.lisp

   1 ;;;; We proclaim all the special variables in the COMMON-LISP package
   2 ;;;; here, in one go, just to try to make sure we don't miss any.
   3
   4 ;;;; This software is part of the SBCL system. See the README file for
   5 ;;;; more information.
   6 ;;;;
   7 ;;;; This software is derived from the CMU CL system, which was
   8 ;;;; written at Carnegie Mellon University and released into the
   9 ;;;; public domain. The software is in the public domain and is
  10 ;;;; provided with absolutely no warranty. See the COPYING and CREDITS
  11 ;;;; files for more information.
  12
  13 (in-package "COMMON-LISP")
  14
  15 #.(let ((list           '(cl:*
  16                           cl:**
  17                           cl:***
  18                           cl:*break-on-signals*
  19                           cl:*compile-file-pathname*
  20                           cl:*compile-file-truename*
  21                           cl:*compile-print*
  22                           cl:*compile-verbose*
  23                           cl:*debug-io*
  24                           cl:*debugger-hook*
  25                           cl:*default-pathname-defaults*
  26                           cl:*error-output*
  27                           cl:*features*
  28                           cl:*gensym-counter*
  29                           cl:*load-pathname*
  30                           cl:*load-print*
  31                           cl:*load-truename*
  32                           cl:*load-verbose*
  33                           cl:*macroexpand-hook*
  34                           cl:*modules*
  35                           cl:*package*
  36                           cl:*print-array*
  37                           cl:*print-base*
  38                           cl:*print-case*
  39                           cl:*print-circle*
  40                           cl:*print-escape*
  41                           cl:*print-gensym*
  42                           cl:*print-length*
  43                           cl:*print-level*
  44                           cl:*print-lines*
  45                           cl:*print-miser-width*
  46                           cl:*print-pprint-dispatch*
  47                           cl:*print-pretty*
  48                           cl:*print-radix*
  49                           cl:*print-readably*
  50                           cl:*print-right-margin*
  51                           cl:*query-io*
  52                           cl:*random-state*
  53                           cl:*read-base*
  54                           cl:*read-default-float-format*
  55                           cl:*read-eval*
  56                           cl:*read-suppress*
  57                           cl:*readtable*
  58                           cl:*standard-input*
  59                           cl:*standard-output*
  60                           cl:*terminal-io*
  61                           cl:*trace-output*
  62                           cl:+
  63                           cl:++
  64                           cl:+++
  65                           cl:-
  66                           cl:/
  67                           cl://
  68                           cl:///)))
  69     `(progn
  70        (declaim (special ,@list))
  71        (eval-when (:compile-toplevel :load-toplevel)
  72          (dolist (symbol ',list)
  73            (declare (notinline (setf sb!int:info))) ; skirt failure-to-inline warning
  74            (setf (sb!int:info :variable :wired-tls symbol) t)))))
  75
  76 (declaim (type t cl:+ cl:++ cl:+++ cl:- cl:* cl:** cl:***))
  77
  78 ;;; generalized booleans
  79 (declaim (type t         cl:*compile-print* cl:*compile-verbose*
  80                          cl:*load-print* cl:*load-verbose*
  81                          cl:*print-array* cl:*print-radix*
  82                          cl:*print-circle* cl:*print-escape*
  83                          cl:*print-gensym* cl:*print-pretty*
  84                          cl:*print-readably* cl:*read-eval*
  85                          cl:*read-suppress*))
  86
  87 (declaim (type sb!pretty::pprint-dispatch-table cl:*print-pprint-dispatch*))
  88
  89 (declaim (type readtable cl:*readtable*))
  90
  91 (declaim (type (integer 2 36) cl:*print-base* cl:*read-base*))
  92
  93 (declaim (type (member :upcase :downcase :capitalize) cl:*print-case*))
  94
  95 (declaim (type (member cl:single-float cl:double-float
  96                        cl:short-float cl:long-float) cl:*read-default-float-format*))
  97
  98 (declaim (type list cl:/ cl:// cl:/// cl:*features* cl:*modules*))
  99
 100 (declaim (type sb!kernel:type-specifier cl:*break-on-signals*))
 101
 102 (declaim (type package cl:*package*))
 103
 104 (declaim (type random-state cl:*random-state*))
 105
 106 ;; KLUDGE: some of these are more specific than just STREAM.  However,
 107 ;; (a) we can't express that portably, and (b) we probably violate
 108 ;; these requirements somewhere as of sbcl-0.8.0.  (and maybe we break
 109 ;; even this in Gray streams or simple-streams?  apparently not,
 110 ;; currently)
 111 (declaim (type stream  cl:*standard-input*
 112                        cl:*error-output*
 113                        cl:*standard-output*
 114                        cl:*trace-output*
 115                        cl:*debug-io*
 116                        cl:*query-io*
 117                        cl:*terminal-io*))
 118
 119 ;;; FIXME: make an SB!INT:FUNCTION-DESIGNATOR type for these
 120 ;;; DOUBLE-FIXME: I'm not convinced that either of these variables
 121 ;;; is actually allowed to be a CONS.
 122 ;;; CLHS would have said "_extended_ function designator"
 123 ;;; if it meant to allows (SETF f) as a designator.
 124 (declaim (type (or function symbol cons)
 125                        cl:*debugger-hook*
 126                        cl:*macroexpand-hook*))
 127
 128 (declaim (type unsigned-byte cl:*gensym-counter*))
 129
 130 (declaim (type (or unsigned-byte null)
 131                        cl:*print-length*
 132                        cl:*print-level*
 133                        cl:*print-lines*
 134                        cl:*print-miser-width*
 135                        cl:*print-right-margin*))
 136
 137 (declaim (type pathname cl:*default-pathname-defaults*))
 138
 139 (declaim (type (or pathname null)
 140                        cl:*load-pathname*
 141                        cl:*load-truename*
 142                        cl:*compile-file-pathname*
 143                        cl:*compile-file-truename*))