[spec] Remove vestigial prime symbol in data segment text format #1916
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Pre-2018, the spec for the text format defined data and element segments as having an implicit "table 0" or "memory 0" with mathematical notation with an
𝑥′
that takes the value 0 if the memidx wasn't present in the text format.#752 (responding to WebAssembly/reference-types#3 (comment)) removed the definitions of
x'
and instead defined a text-format abbreviation for data and elem segments, e.g.:However, that commit only removed the prime symbol (from
𝑥′
) for the production for element segments but kept it in for data segments. This commit removes the vestigial prime from𝑥′
for data segments.