* (defun foo (a) (declare ((simple-array 3) a)) (foo a))
; in: DEFUN FOO
; ((SIMPLE-ARRAY 3) A)
;
; caught ERROR:
; The object 3 is not valid as a type specifier.
debugger invoked on a SB-INT:SIMPLE-PROGRAM-ERROR in thread
#<THREAD "main thread" RUNNING {1003E06973}>:
The object 3 is not valid as a type specifier.
Type HELP for debugger help, or (SB-EXT:EXIT) to exit from SBCL.
restarts (invokable by number or by possibly-abbreviated name):
0: [ABORT] Exit debugger, returning to top level.
Now the error messages is
* (defun foo (a) (declare ((simple-array 3) a)) (foo a))
; in: DEFUN FOO
; ((SIMPLE-ARRAY 3) A)
;
; caught ERROR:
; The object 3 is not valid as a type specifier.
debugger invoked on a SB-INT: SIMPLE- PROGRAM- ERROR in thread
#<THREAD "main thread" RUNNING {1003E06973}>:
The object 3 is not valid as a type specifier.
Type HELP for debugger help, or (SB-EXT:EXIT) to exit from SBCL.
restarts (invokable by number or by possibly- abbreviated name):
0: [ABORT] Exit debugger, returning to top level.
((LAMBDA NIL :IN SB-C::ACTUALLY- COMPILE) )
0]