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

Refactor integer/bigint constants optimization using Zarith #7155

Open
cometkim opened this issue Nov 9, 2024 · 0 comments
Open

Refactor integer/bigint constants optimization using Zarith #7155

cometkim opened this issue Nov 9, 2024 · 0 comments

Comments

@cometkim
Copy link
Member

cometkim commented Nov 9, 2024

Zarith is OCaml library that supports arbitrary-precision integer operations

It allows the compiler to handle bigint constants and clean them up to use the same logic as int32.

Also, need to confirm the playground is working using Zarith_stubs_js.

Related PRs:

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
Status: No status
Development

No branches or pull requests

1 participant