WebAssembly / WebAssembly/spec
Don't emit `module definition` or `module instance` unless present in input when generating `.bin.wast`
Nobody has claimed this yet.
- Dominant language
- WebAssembly
- Stars
- 3.5k
- Forks
- 539
- Avg merge
- 2d 1h
- Merged PRs (30d)
- 13
Description
The PR #1796 changed the reference interpreter to generate these new commands by default in arrange.ml. Unfortunately this breaks downstream clients that consume .bin.wast.
Would it be possible to only emit module definition and module instance if they were in the original source?
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start in arrange.ml, where PR #1796 changed the reference interpreter's generation of .bin.wast output. Trace how the original source is represented and how module definition and module instance commands are emitted. Done means those commands appear in generated output only when they were present in the input, without breaking downstream .bin.wast consumers.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- wasm
- Domain
- compilers
- Issue type
- Bug
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 45/100