-
Notifications
You must be signed in to change notification settings - Fork 3.8k
[Rest API] [Txn Arg] support for signed int #17758
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
base: jun/int_prover
Are you sure you want to change the base?
Conversation
Warning This pull request is not mergeable via GitHub because a downstack PR is open. Once all requirements are satisfied, merge this PR as a stack on Graphite.
This stack of pull requests is managed by Graphite. Learn more about stacking. |
4757c65
to
a461876
Compare
dd22f32
to
98a4711
Compare
98a4711
to
a8c540c
Compare
a461876
to
9b8078f
Compare
StateKeyWrapper, | ||
U64, | ||
U128 | ||
U128, |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Curious why u256, u32 and u16 are not here?
I32 => "sint32".into(), | ||
I64 => "sint64".into(), | ||
I128 => "serde.Sint128".into(), | ||
I256 => unimplemented!(), |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Is this expected, why u156
is also unimplemented I wonder, can we move them to unsupported / not allowed branch? This looks weird as below we seem to allow i/u256s...
| MoveType::I128 | ||
| MoveType::I256 => { | ||
//TODO()(#17645): support signed integers | ||
unimplemented!("signed integers not yet supported"); |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Maybe make this unparsable for now so that it is not possible to panic here?
| MoveType::I128 | ||
| MoveType::I256 => { | ||
//TODO()(#17645): support signed integers | ||
unimplemented!("signed integers not yet supported"); |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Same here, would None
be enough?
U32, | ||
#[serde(rename = "u256")] | ||
U256, | ||
// NOTE: Added in bytecode version v9, do not reorder! |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Do we need this? This is legacy, it does not have function values either? The whole thing can be deleted but I think there are some dependencies somewhere...
U64 => Format::U64, | ||
U128 => Format::U128, | ||
U256 => Format::TypeName(U256_SERDE_NAME.to_string()), | ||
I8 => Format::I8, |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Is build_normalized_type_layout
used anywhere? I belive all that registry thing is just legacy code, I would vote to get rid of this instead 😄
Description
How Has This Been Tested?
Key Areas to Review
Type of Change
Which Components or Systems Does This Change Impact?
Checklist