cairo
cairo copied to clipboard
feat: (try) Support u384 numeric literals
u384 takes 4-5 lines to write as constant or in tests, so this would improve a lot readability and dev experience
Currently i've added
- the trait implementation in cairo in
circuits.cairo
- a simple test in
circuit_test.cairo
- a branch in the function
validate_literal
incrates/cairo-lang-semantic/src/corelib.rs
for the type - a branch in the function
value_as_const_value
incrates/cairo-lang-semantic/src/items/constant.rs
to split the limbs for the type
However when running ./scripts/cairo_test.sh
the issue is that get_core_ty_by_name(db, "u384".into(), vec![])
says that u384
doesn't exist (Unknown type
)
Would appreciate some help from this point. Thank you!