Hacktoberfest 2026: the issues maintainers tagged for October, open and beginner-friendly. Browse Hacktoberfest issues

[spec] Disagreement between the tests and the spec on the import of tags

Open
#1,931 0 comments 0 reactions 0 assignees View on GitHub

Maintainers usually reply within 1 day

Nobody has claimed this yet.

Assessment

Difficulty
3/5
Estimated time
1-2 days
Newbie friendliness
45/100
Issue type
Bug
Clarity
Clearly specified
Activity status
Stale
Tech stack
wasm
Domain
compilers

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.

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.

Dominant language
WebAssembly
Stars
3.5k
Forks
540
Avg merge
1d 10h
Merged PRs (30d)
16

Getting set up

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

More from WebAssembly/spec

All issues in WebAssembly/spec

Similar issues

More Compilers issues

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.