unwind-protect - how does it work

Question

I am using sbcl 1.0.57.0 and want to start a program via --eval which should generate some output, but in case that there is an uncaught error it shall exit.

I figured the easiest way to accomplish that would be by using unwind-protect:

(unwind-protect (error 'simple-error) 
  (progn (FORMAT t "IAMREACHED~%") (sb-ext:exit)))

As (sb-ext:exit) should be executet incase there is an uncaught error.

But it doesn't!

* (unwind-protect (error 'simple-error) 

       (progn (FORMAT t "IAMREACHED~%") (sb-ext:exit)))

    debugger invoked on a SIMPLE-ERROR in thread
    #<THREAD "main thread" RUNNING {1002979193}>:
    (A SIMPLE-ERROR was caught when trying to print *DEBUG-CONDITION* when entering
    the debugger. Printing was aborted and the SIMPLE-ERROR was stored in
    SB-DEBUG::*NESTED-DEBUG-CONDITION*.)

    Type HELP for debugger help, or (SB-EXT:QUIT) to exit from SBCL.

    restarts (invokable by number or by possibly-abbreviated name):
      0: [ABORT] Exit debugger, returning to top level.

    (#:EVAL-THUNK)
    0] 0
    IAMREACHED

What is my misconception about the workings of unwind-protect?

You should put the call to `SB:EXIT` outside the `PROGN`. As you've written it, `SB:EXIT` is called after the `FORMAT`, and there are no unwind forms. — Elias Mårtenson, Oct 23 '12 at 14:29

score 10 · Accepted Answer · answered Oct 21 '12 at 16:44

UNWIND-PROTECT is an analogue of finally clause in Java or Python, so it's not a catch-all clause, that will intercept any unhandled condition. For that you need a HANDLER-CASE with a handler clause for type CONDITION.

UNWIND-PROTECT actually works in your case. The only "unexpected" behaviour is that the debugger is invoked before the body of UNWIND-PROTECT is executed. The reason for this is not to lose the current context and be able to restart execution. It is (probably) achieved via HANDLER-BIND. You can learn more about that in PCL chapter "Conditions and Restarts".

score 2 · Answer 2 · answered Oct 21 '12 at 21:31

2

Maybe you want to disable the debugger, see SBCL Toplevel Options

answered Oct 21 '12 at 21:31

hans23

1,034
7
13

score 0 · Answer 3 · answered Nov 08 '13 at 08:05

0

You could use (ignore-errors) for the purpose of silently omitting errors. Or you could call sb-ext:disable-debugger early to only see error message without the debugger launch.

answered Nov 08 '13 at 08:05

peroksid

890
6
17

unwind-protect - how does it work

3 Answers3