unwind_expression: unwind `(' protection `)' body ; protection: expression ;
unwind evaluates the
body, followed by the evaluation
protection. The value returned by the
the value of its body.
If, during the evalutation of the body, a tag is thrown, prematurely
exiting the context of the
unwind, the protection expression is
still evaluated. If the protection code does not raise or throw
anything, then after its evaluation the original throw causing its
invocation will continue to be thrown futher.
Go to the first, previous, next, last section, table of contents.