Are 'pervasive' declarations in FLET supposed to apply to the function bodies? E.g. (flet ((foo () x)) ;Is this x special? (declare (special x)) ...) (flet ((foo () (foo) ...)) ;Does this call to (foo) return a fixnum? (declare (function foo () fixnum)) ...) (flet ((foo () (foo 17))) ;Is (foo 17) inline? (declare (inline foo)) ...) -------