Skip to content

Clarify and regularize text format index parsing rules#655

Open
lukewagner wants to merge 2 commits into
mainfrom
tweak-id-syntax
Open

Clarify and regularize text format index parsing rules#655
lukewagner wants to merge 2 commits into
mainfrom
tweak-id-syntax

Conversation

@lukewagner

Copy link
Copy Markdown
Member

This PR intends to resolve #648 by regularizing and more-clearly defining the text format rules for core- and component-level indices, identifiers and inline aliases. One nice thing with the changes in this PR is that there is now an explicit core-prefix(...) in the grammar at all the places where core might (when a plain $id is not used) get injected.

The test/syntax/indices.wast tries to test all the syntactic cases touched by this PR. The commented-out lines currently fail in wasm-tools and the rest pass as-is. This helps identify what the concrete delta from the status quo is. I didn't add any negative tests since I expect we'll need a phase-out process before rejecting anything that is accepted now.

PTAL @bvisness @alexcrichton

Comment thread design/mvp/Explainer.md
Comment thread design/mvp/Explainer.md
Comment thread design/mvp/Explainer.md Outdated
Comment thread design/mvp/Explainer.md Outdated
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Why is it (dtor (func n)) instead of (dtor (core func n))?

3 participants