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

Extend error type to Send + Sync #136

Merged
merged 1 commit into from
Oct 19, 2023
Merged

Extend error type to Send + Sync #136

merged 1 commit into from
Oct 19, 2023

Conversation

charliermarsh
Copy link
Contributor

Summary

Though we may want to adopt a fully generic error type eventually, this at least makes the error type compatible with anyhow (and makes it async-friendly, which is both good and bad, since it requires that user errors are thread safe regardless of whether it's important for them to be).

See: #116

Copy link
Member

@Eh2406 Eh2406 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This looks like a good step forward!

I will unilaterally merge in no objections in the next 10 days.

@mpizenberg
Copy link
Member

I trust you on this one.

@Eh2406 Eh2406 merged commit b14fa78 into pubgrub-rs:dev Oct 19, 2023
2 of 5 checks passed
Eh2406 pushed a commit that referenced this pull request Oct 19, 2023
zanieb pushed a commit to astral-sh/pubgrub that referenced this pull request Nov 8, 2023
This was referenced Nov 15, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants