Skip to content

primitives: limit Uint to int conversions - #225

Merged
tcoratger merged 5 commits into
leanEthereum:mainfrom
tcoratger:int-conversions
Dec 7, 2025
Merged

tcoratger merged 5 commits into
leanEthereum:mainfrom
tcoratger:int-conversions

Conversation

@tcoratger

Copy link
Copy Markdown
Collaborator

🗒️ Description

  • I've removed the as_int() method for Uint because it is useless, we can directly use int() which is more Pythonic.
  • I've added indexing capabilities for Uint to avoid as much as possible to convert Uint to int until this is absolutely needed.

🔗 Related Issues or PRs

✅ Checklist

  • Ran tox checks to avoid unnecessary CI fails:
    uvx tox
  • Considered adding appropriate tests for the changes.
  • Considered updating the online docs in the ./docs/ directory.

@varun-doshi varun-doshi left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

lgtm

@tcoratger
tcoratger merged commit cc93e09 into leanEthereum:main Dec 7, 2025
10 checks passed
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.

2 participants