Skip to content

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

@alessiofaieta

Description

@alessiofaieta

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 #2032 (comment) 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

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions