-
Notifications
You must be signed in to change notification settings - Fork 7
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
feat(hugr-sexpr): Add s-expression library. #1208
Conversation
Codecov ReportAttention: Patch coverage is
Additional details and impacted files@@ Coverage Diff @@
## main #1208 +/- ##
==========================================
- Coverage 87.03% 86.98% -0.06%
==========================================
Files 100 110 +10
Lines 18918 19751 +833
Branches 16935 17768 +833
==========================================
+ Hits 16466 17180 +714
- Misses 1676 1775 +99
- Partials 776 796 +20
Flags with carried forward coverage won't be shown. Click here to find out more. ☔ View full report in Codecov by Sentry. |
22f62a0
to
6275ba7
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Some comments to ensure the new crates work well with the automation.
- Parse s-expressions - Pretty print s-expressions - Proc macros for converting between user types and s-expressions
This was not caught by the proptest before since the `Arbitrary` instance for `f64` does not generate these values. The proptest has been updated accordingly.
As a general purpose s-expression crate this probably does not belong in this repository after all. |
This PR adds the
hugr-sexpr
library for s-expressions.(This commit also updates the devenv lock file to the newest version, since on the
main
branch version the Rust toolchain fails to work on my machine.)