spec icon indicating copy to clipboard operation
spec copied to clipboard

[spec] Missing hyperlink for `.refs` in `table.set` reduction rule prose

Open alessiofaieta opened this issue 1 month ago • 0 comments

In section "4 Execution > 4.6 Instructions > 4.6.7 Table Instructions > table.set", step 7 of the prose is missing a hyperlink for the refs attribute in z.tables[x].refs[i].

The problem might lie in the prose backend, check out https://github.com/WebAssembly/spec/issues/2032#issuecomment-3565193411 for more context:

The problem of the missing hyperlink in the prose lies a bit deeper, and has to do with the prose hints on the various $with_* functions. There is something missing in the expression that the prose backend generates from the hint, perhaps the right type info on the atom or missing macro context. @f52985, do you perhaps have an idea?

Originally posted by @rossberg in #2032

alessiofaieta avatar Dec 03 '25 13:12 alessiofaieta