(defun foo () 'foo) ;;;; ------ Error code --------- The value NIL is not of type SB-C:POLICY. [Condition of type TYPE-ERROR] Restarts: 0: [ABORT] Abort compilation. 1: [*ABORT] Return to SLIME's top level. 2: [ABORT] abort thread (#) Backtrace: 0: (SB-C::POLICY-TO-DECL-SPEC NIL T NIL) 1: (RESTRICT-COMPILER-POLICY NIL 0) 2: (SWANK/SBCL::COMPILER-POLICY NIL) Locals: QUALITIES = NIL 3: ((LABELS SWANK/SBCL::CF :IN SWANK/BACKEND:SWANK-COMPILE-STRING)) 4: ((FLET SWANK/BACKEND:CALL-WITH-COMPILATION-HOOKS :IN "/home/jreynoso/quicklisp/dists/quicklisp/software/slime-2.13/swank/sbcl.lisp") #) 9: (SWANK::COLLECT-NOTES #) 10: (SWANK::CALL-WITH-BUFFER-SYNTAX NIL #) 11: (SB-INT:SIMPLE-EVAL-IN-LEXENV (SWANK:COMPILE-STRING-FOR-EMACS " (defun foo () ..) 12: (EVAL (SWANK:COMPILE-STRING-FOR-EMACS " (defun foo () ..) 13: (SWANK:EVAL-FOR-EMACS (SWANK:COMPILE-STRING-FOR-EMACS " (defun foo () ..) 14: ((LAMBDA NIL :IN SWANK::SPAWN-WORKER-THREAD)) 15: (SWANK/SBCL::CALL-WITH-BREAK-HOOK # #) 16: ((FLET SWANK/BACKEND:CALL-WITH-DEBUGGER-HOOK :IN "/home/jreynoso/quicklisp/dists/quicklisp/software/slime-2.13/swank/sbcl.lisp") # #) (*STANDARD-INPUT* . #2=#) (*TRACE-OUTPUT* . #1#) (*ERR.. 18: ((LAMBDA NIL :IN SWANK::SPAWN-WORKER-THREAD)) 19: ((FLET #:WITHOUT-INTERRUPTS-BODY-1156 :IN SB-THREAD::INITIAL-THREAD-FUNCTION-TRAMPOLINE)) 20: ((FLET SB-THREAD::WITH-MUTEX-THUNK :IN SB-THREAD::INITIAL-THREAD-FUNCTION-TRAMPOLINE)) 21: ((FLET #:WITHOUT-INTERRUPTS-BODY-608 :IN SB-THREAD::CALL-WITH-MUTEX)) 22: (SB-THREAD::CALL-WITH-MUTEX # # NIL # (#