You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I believe this will serialize note scripts without source locations. Serializing with source locations now is a bit cumbersome - so, maybe we should just create two issues for now:
First issue would be in Miden VM to enable serialization of source locations by simply setting the appropriate property for AstSerdeOptions. For example, here, it should work something like this:
let note_script_bytes = note_script_ast.to_bytes(AstSerdeOptions{serialize_imports:true,serialize_source_locations:true,});
The second issue would be here so that we don't forget to come back and fix this once the issue in Miden VM is fixed.
First issue would be in Miden VM to enable serialization of source locations by simply setting the appropriate property for
AstSerdeOptions
. For example, here, it should work something like this:The second issue would be here so that we don't forget to come back and fix this once the issue in Miden VM is fixed.
Originally posted by @bobbinth in 0xPolygonMiden/miden-base#339 (comment)
The text was updated successfully, but these errors were encountered: