Skip to content

wasmprinter: remove variant case identifiers.#643

Merged
peterhuene merged 1 commit intobytecodealliance:mainfrom
peterhuene:remove-case-identifier
Jun 17, 2022
Merged

wasmprinter: remove variant case identifiers.#643
peterhuene merged 1 commit intobytecodealliance:mainfrom
peterhuene:remove-case-identifier

Conversation

@peterhuene
Copy link
Member

This PR removes the identifiers from variant cases; instead, a refines
clause references the case by index.

This commit removes the identifiers from variant cases; instead, a `refines`
clause references the case by index.
@peterhuene peterhuene requested a review from alexcrichton June 17, 2022 00:35
@peterhuene
Copy link
Member Author

This was code review feedback that fell through the cracks during the review of #621.

Copy link
Member

@alexcrichton alexcrichton left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Oops, thanks for catching this!

@peterhuene peterhuene merged commit 5b7e76e into bytecodealliance:main Jun 17, 2022
@peterhuene peterhuene deleted the remove-case-identifier branch June 17, 2022 00:59
code-terror pushed a commit to code-terror/wasm-tools that referenced this pull request Aug 24, 2022
This commit removes the identifiers from variant cases; instead, a `refines`
clause references the case by index.
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.

2 participants