1 ;;;; This file defines all of the internal errors. How they are
2 ;;;; handled is defined in .../code/interr.lisp. How they are signaled
3 ;;;; depends on the machine.
5 ;;;; This software is part of the SBCL system. See the README file for
8 ;;;; This software is derived from the CMU CL system, which was
9 ;;;; written at Carnegie Mellon University and released into the
10 ;;;; public domain. The software is in the public domain and is
11 ;;;; provided with absolutely no warranty. See the COPYING and CREDITS
12 ;;;; files for more information.
14 (in-package "SB!KERNEL")
16 (defun error-number-or-lose (name)
17 (or (position name sb!c:*backend-internal-errors* :key #'car)
18 (error "unknown internal error: ~S" name)))
20 ;;; FIXME: Having each of these error handlers be a full, named function
21 ;;; seems to contribute a noticeable amount of bloat and little value.
22 ;;; Perhaps we could just make a single error-handling function with a
23 ;;; big CASE statement inside it? Or at least implement the error handling
24 ;;; functions as closures instead of DEFUNs?
25 (eval-when (:compile-toplevel :execute)
26 (def!macro define-internal-errors (&rest errors)
27 (let ((info (mapcar (lambda (x)
28 ;; FIXME: We shouldn't need placeholder
29 ;; NIL entries any more now that we
30 ;; pass our magic numbers cleanly
33 (cons (symbolicate (first x) "-ERROR")
38 (setf sb!c:*backend-internal-errors*
39 ',(coerce info 'vector))
42 (define-internal-errors
44 "unknown system lossage")
46 "Object is not of type FUNCTION.")
48 "Object is not of type LIST.")
50 "Object is not of type BIGNUM.")
52 "Object is not of type RATIO.")
53 (object-not-single-float
54 "Object is not of type SINGLE-FLOAT.")
55 (object-not-double-float
56 "Object is not of type DOUBLE-FLOAT.")
58 (object-not-long-float
59 "Object is not of type LONG-FLOAT.")
60 (object-not-simple-string
61 "Object is not of type SIMPLE-STRING.")
62 (object-not-simple-bit-vector
63 "Object is not of type SIMPLE-BIT-VECTOR.")
64 (object-not-simple-vector
65 "Object is not of type SIMPLE-VECTOR.")
67 "Object is not of type FIXNUM.")
69 "Object is not of type VECTOR.")
71 "Object is not of type STRING.")
72 (object-not-bit-vector
73 "Object is not of type BIT-VECTOR.")
75 "Object is not of type ARRAY.")
77 "Object is not of type NUMBER.")
79 "Object is not of type RATIONAL.")
81 "Object is not of type FLOAT.")
83 "Object is not of type REAL.")
85 "Object is not of type INTEGER.")
87 "Object is not of type CONS.")
89 "Object is not of type SYMBOL.")
91 ;; FIXME: Isn't this used for calls to unbound (SETF FOO) too? If so, revise
93 "An attempt was made to use an undefined FDEFINITION.")
95 "invalid argument count")
96 (bogus-arg-to-values-list
97 "bogus argument to VALUES-LIST")
99 "An attempt was made to use an undefined SYMBOL-VALUE.")
101 "Object is not a System Area Pointer (SAP).")
103 "attempt to RETURN-FROM a block that no longer exists")
105 "attempt to THROW to a non-existent tag")
109 "Object is of the wrong type.")
111 "odd number of &KEY arguments")
113 "unknown &KEY argument")
115 "invalid array index")
116 (wrong-number-of-indices
117 "wrong number of indices")
118 (object-not-simple-array
119 "Object is not of type SIMPLE-ARRAY.")
120 (object-not-signed-byte-32
121 "Object is not of type (SIGNED-BYTE 32).")
122 (object-not-unsigned-byte-32
123 "Object is not of type (UNSIGNED-BYTE 32).")
124 (object-not-simple-array-nil
125 "Object is not of type (SIMPLE-ARRAY NIL (*)).")
126 (object-not-simple-array-unsigned-byte-2
127 "Object is not of type (SIMPLE-ARRAY (UNSIGNED-BYTE 2) (*)).")
128 (object-not-simple-array-unsigned-byte-4
129 "Object is not of type (SIMPLE-ARRAY (UNSIGNED-BYTE 4) (*)).")
130 (object-not-simple-array-unsigned-byte-8
131 "Object is not of type (SIMPLE-ARRAY (UNSIGNED-BYTE 8) (*)).")
132 (object-not-simple-array-unsigned-byte-16
133 "Object is not of type (SIMPLE-ARRAY (UNSIGNED-BYTE 16) (*)).")
134 (object-not-simple-array-unsigned-byte-32
135 "Object is not of type (SIMPLE-ARRAY (UNSIGNED-BYTE 32) (*)).")
136 (object-not-simple-array-signed-byte-8
137 "Object is not of type (SIMPLE-ARRAY (SIGNED-BYTE 8) (*)).")
138 (object-not-simple-array-signed-byte-16
139 "Object is not of type (SIMPLE-ARRAY (SIGNED-BYTE 16) (*)).")
140 (object-not-simple-array-signed-byte-30
141 "Object is not of type (SIMPLE-ARRAY FIXNUM (*)).")
142 (object-not-simple-array-signed-byte-32
143 "Object is not of type (SIMPLE-ARRAY (SIGNED-BYTE 32) (*)).")
144 (object-not-simple-array-single-float
145 "Object is not of type (SIMPLE-ARRAY SINGLE-FLOAT (*)).")
146 (object-not-simple-array-double-float
147 "Object is not of type (SIMPLE-ARRAY DOUBLE-FLOAT (*)).")
149 (object-not-simple-array-long-float
150 "Object is not of type (SIMPLE-ARRAY LONG-FLOAT (*)).")
151 (object-not-simple-array-complex-single-float
152 "Object is not of type (SIMPLE-ARRAY (COMPLEX SINGLE-FLOAT) (*)).")
153 (object-not-simple-array-complex-double-float
154 "Object is not of type (SIMPLE-ARRAY (COMPLEX DOUBLE-FLOAT) (*)).")
156 (object-not-simple-array-complex-long-float
157 "Object is not of type (SIMPLE-ARRAY (COMPLEX LONG-FLOAT) (*)).")
159 "Object is not of type COMPLEX.")
160 (object-not-complex-rational
161 "Object is not of type (COMPLEX RATIONAL).")
162 (object-not-complex-float
163 "Object is not of type (COMPLEX FLOAT).")
164 (object-not-complex-single-float
165 "Object is not of type (COMPLEX SINGLE-FLOAT).")
166 (object-not-complex-double-float
167 "Object is not of type (COMPLEX DOUBLE-FLOAT).")
169 (object-not-complex-long-float
170 "Object is not of type (COMPLEX LONG-FLOAT).")
171 (object-not-weak-pointer
172 "Object is not a WEAK-POINTER.")
174 "Object is not a INSTANCE.")
175 (object-not-base-char
176 "Object is not of type BASE-CHAR.")
178 "A function with declared result type NIL returned.")
180 "An array with element-type NIL was accessed.")
182 "Object layout is invalid. (indicates obsolete instance)")
183 (object-not-complex-vector
184 "Object is not a complex (non-SIMPLE-ARRAY) vector."))