Wasm-DSL / spectec

Wasm SpecTec specification tools
https://wasm-dsl.github.io/spectec/
Other
27 stars 9 forks source link

Outline start function instructions #100

Closed rossberg closed 5 months ago

rossberg commented 5 months ago

This change triggers another error from the interpreter:

9-module.watsup:152.50-152.76: interpreter error: instantiate: ?() is not a Wasm value (interpreting PushI (IterE (VarE (instr_S), [instr_S], ?)))

@ShinWonho, can you please have a look?

ShinWonho commented 5 months ago

Similarly with #98, translating rhs expression IterE with Opt was not general enough. Now I have generalized it!

rossberg commented 5 months ago

Thanks!