WebAssembly / WebAssembly/spec
[spec] Disagreement between the tests and the spec on the import of tags
Nobody has claimed this yet.
- Dominant language
- WebAssembly
- Stars
- 3.5k
- Forks
- 539
- Avg merge
- 2d 1h
- Merged PRs (30d)
- 13
Description
The text format for importing tags (section 6.6.3, wasm-3.0) is (import mod:name nm:name (tag id? tt:tag)), where tag is defined as (tag id? x,I':typeuse) (section 6.6.8). A tag import, would thus require twice the tag keyword. It is not what is done in the test core/tag.wat :
(import "test" "t3" (tag $t1 (param i32 f32)))
The tt : tag could be replaced by a typeuse or the definition of importdesc_I could be of the form ... | tag_I.
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
Compare the import grammar in sections 6.6.3 and 6.6.8 of the wasm-3.0 specification with the example in test/core/tag.wast. Reconcile the grammar and test so the documented tag import syntax is consistent, then verify the relevant core tests.
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
- Clearly specified
- Newbie friendliness
- 45/100