search

Wasm-DSL / spectec

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

Annotate IL atoms with type ids, too #83

Closed rossberg closed 8 months ago

rossberg commented 8 months ago

@jaehyun1ee, FYI: this adds the type name note to IL atoms as well, as you suggested earlier. (Unfortunately, pattern matching on atoms in the translate module becomes more tedious through this.)