You probably want to quote the argument to slime-eval; that error is b/c the (progn...) is being evaluated in Emacs, not CL.<br>