IntLiteral into Int/UInt #4342Description
Review Mojo's priorities
- I have read the roadmap and priorities and I believe this request falls within the priorities.
What is your request?
Conditional materialization for IntLiteral into Int/UInt
@value
@nonmaterializable(Int if Self < IntLiteral[0] else UInt)
@register_passable("trivial")
struct IntLiteral[value: __mlir_type.`!pop.int_literal`]:
...What is your motivation for this change?
This will enable avoiding negative indexing normalization, using many faster functions for UInt, avoiding overflows for large numbers, and much more.
Any other details?
This could be pushed down the roadmap since I imagine it would require quite the rewrite for the decorator to be able to reference the Self instance. But I think it will be worth it in the long term.