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 (declaim         (special 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
  70 (declaim (type t cl:+ cl:++ cl:+++ cl:- cl:* cl:** cl:***))
  71
  72 ;;; generalized booleans
  73 (declaim (type t         cl:*compile-print* cl:*compile-verbose*
  74                          cl:*load-print* cl:*load-verbose*
  75                          cl:*print-array* cl:*print-radix*
  76                          cl:*print-circle* cl:*print-escape*
  77                          cl:*print-gensym* cl:*print-pretty*
  78                          cl:*print-readably* cl:*read-eval*
  79                          cl:*read-suppress*))
  80
  81 (declaim (type sb!pretty::pprint-dispatch-table cl:*print-pprint-dispatch*))
  82
  83 (declaim (type readtable cl:*readtable*))
  84
  85 (declaim (type (integer 2 36) cl:*print-base* cl:*read-base*))
  86
  87 (declaim (type (member :upcase :downcase :capitalize) cl:*print-case*))
  88
  89 (declaim (type (member cl:single-float cl:double-float
  90                        cl:short-float cl:long-float) cl:*read-default-float-format*))
  91
  92 (declaim (type list cl:/ cl:// cl:/// cl:*features* cl:*modules*))
  93
  94 (declaim (type sb!kernel:type-specifier cl:*break-on-signals*))
  95
  96 (declaim (type package cl:*package*))
  97
  98 (declaim (type random-state cl:*random-state*))
  99
 100 ;; KLUDGE: some of these are more specific than just STREAM.  However,
 101 ;; (a) we can't express that portably, and (b) we probably violate
 102 ;; these requirements somewhere as of sbcl-0.8.0.  (and maybe we break
 103 ;; even this in Gray streams or simple-streams?  apparently not,
 104 ;; currently)
 105 (declaim (type stream  cl:*standard-input*
 106                        cl:*error-output*
 107                        cl:*standard-output*
 108                        cl:*trace-output*
 109                        cl:*debug-io*
 110                        cl:*query-io*
 111                        cl:*terminal-io*))
 112
 113 ;;; FIXME: make an SB!INT:FUNCTION-DESIGNATOR type for these
 114 ;;; DOUBLE-FIXME: I'm not convinced that either of these variables
 115 ;;; is actually allowed to be a CONS.
 116 ;;; CLHS would have said "_extended_ function designator"
 117 ;;; if it meant to allows (SETF f) as a designator.
 118 (declaim (type (or function symbol cons)
 119                        cl:*debugger-hook*
 120                        cl:*macroexpand-hook*))
 121
 122 (declaim (type unsigned-byte cl:*gensym-counter*))
 123
 124 (declaim (type (or unsigned-byte null)
 125                        cl:*print-length*
 126                        cl:*print-level*
 127                        cl:*print-lines*
 128                        cl:*print-miser-width*
 129                        cl:*print-right-margin*))
 130
 131 (declaim (type pathname cl:*default-pathname-defaults*))
 132
 133 (declaim (type (or pathname null)
 134                        cl:*load-pathname*
 135                        cl:*load-truename*
 136                        cl:*compile-file-pathname*
 137                        cl:*compile-file-truename*))