Nice!  Thank you David.<br><br><div class="gmail_quote">On Sun, Mar 20, 2011 at 9:04 PM, David L. Rager <span dir="ltr"><<a href="mailto:ragerdl@gmail.com">ragerdl@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
Hi Jason,<br>
<br>
I think that all you need is something like the following transcript,<br>
but I include the pointer to the source code that helped me find the<br>
answer.<br>
<br>
lhug-7:~$ ccl64<br>
Welcome to Clozure Common Lisp Version 1.7-dev-r14672M-trunk  (LinuxX8664)!<br>
? (defun foo (condition y)<br>
  (declare (ignore y))<br>
  (format t "~&Error:  ~A" condition)<br>
  (ignore-errors (throw 'asdfgh :qwer)))<br>
FOO<br>
? (setq *debugger-hook* 'foo)<br>
FOO<br>
? (catch 'asdfgh (car 3))<br>
;Compiler warnings :<br>
;   In an anonymous lambda form at position 0: Error: "value 3 is not<br>
of the expected type LIST."<br>
;   signalled during compile-time evaluation of (CAR 3) .<br>
Error:  value 3 is not of the expected type LIST.<br>
:QWER<br>
?<br>
<br>
<br>
I obtained this by looking at ACL2's function our-abort (defined in<br>
file interface-raw.lisp, which is contained inside acl2.tar.gz, which<br>
can be downloaded at the following page:<br>
<a href="http://www.cs.utexas.edu/users/moore/acl2/v4-2/installation/installation.html" target="_blank">http://www.cs.utexas.edu/users/moore/acl2/v4-2/installation/installation.html</a>),<br>
which automatically aborts from a raw Lisp error.  It also has a<br>
pointer to ccl::*break-hook*, which I did not look into.<br>
<div><div></div><div class="h5"><br>
> Oh yes, yes. Sorry I wasn't clear.  I wanted to configure the condition<br>
> system to just skip asking me what restart I wanted. Instead, I would like<br>
> ccl to just print the error and then return me to the top level without<br>
> having to press :Q.  It might not be doable of course, but if it is, I would<br>
> appreciate any hints on how to do this.  Perhaps I can define a default top<br>
> level condition handler that says "I got it," but then it does nothing but<br>
> return to the REPL.<br>
<br>
</div></div><font color="#888888">David<br>
</font></blockquote></div><br><br>