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.

Sign up for GitHub

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

Jump to bottom

Enrich HostError (or DebugInfo) a bit: missing events, double faulting #1132

Open
graydon opened this issue Oct 25, 2023 · 0 comments
Open

Enrich HostError (or DebugInfo) a bit: missing events, double faulting #1132

graydon opened this issue Oct 25, 2023 · 0 comments
Assignees
@graydon
Labels
bug Something isn't working protocol

Comments

@graydon
Copy link
Contributor

graydon commented Oct 25, 2023

HostError (or really DebugInfo) should gain a little more structure to handle two cases:

  1. When we fail to externalize events, we might still be able to capture a backtrace. This will help debug externalization failures.
  2. When we fail in either of those cases (or any other subsystem of error-formation) we should make a note that we double faulted, rather than just returning totally missing DebugInfo.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@graydon graydon

Labels
bug Something isn't working protocol
Projects
Core Protocol Known Issues
Status: No status
Milestone
No milestone
Development

No branches or pull requests
3 participants
@graydon @anupsdf and others