Skip to content
New issue

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

ensure that every CatchableError is caught #696

Closed
ee7 opened this issue Oct 28, 2022 · 0 comments · Fixed by #697
Closed

ensure that every CatchableError is caught #696

ee7 opened this issue Oct 28, 2022 · 0 comments · Fixed by #697
Assignees

Comments

@ee7
Copy link
Member

ee7 commented Oct 28, 2022

No description provided.

@ee7 ee7 self-assigned this Oct 28, 2022
@ee7 ee7 closed this as completed in #697 Oct 28, 2022
ee7 added a commit that referenced this issue Oct 28, 2022
This also prepares for refactoring the error handling everywhere,
preferring to raise an exception rather than calling a deep `quit`.

Refs: #123
Refs: #325
Closes: #696
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Status: Done
Development

Successfully merging a pull request may close this issue.

1 participant