search

TritonVM / tasm-lang

Writing tasm with Rust syntax
15 stars 2 forks source link

Distinguish between safe and unsafe lists #38

Closed Sword-Smith closed 9 months ago

Sword-Smith commented 10 months ago

tasm-lib has two list types: safe and unsafe. The compiler should reflect that such code can be generated using both list types. The list types that come from using BFieldCodec::encode on a data structure will always be of the unsafe type.

Sword-Smith commented 9 months ago

Solved by f4ff0a6792cb288aebb728a3dbc72160362968e0