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

fix: hexify for extract and const terms #440

Open

daejunpark wants to merge 1 commit into main from fix/hexify-extract-const

Collaborator

daejunpark commented Jan 10, 2025

previously, Extract(hi, lo, x) is printed as Extract(x()) by hexify.

there were two issues:

the hi and lo arguments appear in the decl params(), but not in the app children(). params() was missing in hexify().
constants (including variables) have no arguments, so the trailing () should be removed for readability.

both issues have now been fixed, and extract terms are hexified properly.


          fix: hexify for extract and const terms

890f4c7

daejunpark requested a review from karmacoma-eth

January 10, 2025 20:08

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet