We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
e.g. if you have a loop and want to put the protection outside around it rather than on each call.
Perhaps unwind_protect() should set a global flag, then we know that we don't need to unwind protect again?
unwind_protect()
The text was updated successfully, but these errors were encountered:
Support more efficient nesting of unwind_protect
40ec0a7
The internal protection can be skipped if we are already in an unwind_protect call. Fixes #141
sbearrows
Successfully merging a pull request may close this issue.
e.g. if you have a loop and want to put the protection outside around it rather than on each call.
Perhaps
unwind_protect()
should set a global flag, then we know that we don't need to unwind protect again?The text was updated successfully, but these errors were encountered: