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

Propagate parse errors from trace parsers to testing framework #70

Open
Rewbert opened this issue Aug 6, 2021 · 0 comments
Open

Propagate parse errors from trace parsers to testing framework #70

Rewbert opened this issue Aug 6, 2021 · 0 comments
Labels
not-urgent Use this labels for issues that are not urgent.

Comments

@Rewbert
Copy link
Collaborator

Rewbert commented Aug 6, 2021

Now it just crashes if the parsing fails, but we could change the parse function from Maybe Trace to be Either ParseError Trace instead, and let the client code handle errors in an appropriate way.
@Rewbert Rewbert added the not-urgent Use this labels for issues that are not urgent. label Aug 6, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
not-urgent Use this labels for issues that are not urgent.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@Rewbert