Skip to content

Rename MmapVec::drain to split_off#4673

Merged
alexcrichton merged 3 commits intobytecodealliance:mainfrom
alexcrichton:rename-drain
Aug 15, 2022
Merged

Rename MmapVec::drain to split_off#4673
alexcrichton merged 3 commits intobytecodealliance:mainfrom
alexcrichton:rename-drain

Conversation

@alexcrichton
Copy link
Copy Markdown
Member

As suggested on #4609

alexcrichton added a commit to alexcrichton/wasmtime that referenced this pull request Aug 10, 2022
Fixes a build failure on bytecodealliance#4673 where tuples of length 16 don't implement
`Debug` from the standard library.
@github-actions github-actions bot added the wasmtime:api Related to the API of the `wasmtime` crate itself label Aug 10, 2022
@github-actions
Copy link
Copy Markdown

Subscribe to Label Action

cc @peterhuene

Details This issue or pull request has been labeled: "wasmtime:api"

Thus the following users have been cc'd because of the following labels:

  • peterhuene: wasmtime:api

To subscribe or unsubscribe from this label, edit the .github/subscribe-to-label.json configuration file.

Learn more.

alexcrichton added a commit to alexcrichton/wasmtime that referenced this pull request Aug 11, 2022
Fixes a build failure on bytecodealliance#4673 where tuples of length 16 don't implement
`Debug` from the standard library.
alexcrichton added a commit to alexcrichton/wasmtime that referenced this pull request Aug 11, 2022
Fixes a build failure on bytecodealliance#4673 where tuples of length 16 don't implement
`Debug` from the standard library.
alexcrichton added a commit that referenced this pull request Aug 11, 2022
Fixes a build failure on #4673 where tuples of length 16 don't implement
`Debug` from the standard library.
@jameysharp
Copy link
Copy Markdown
Contributor

I've pushed an alternative on top of this branch, to exactly match the behavior of Vec::split_off in MmapVec. Would you review it and merge if you're happy with it?

@alexcrichton
Copy link
Copy Markdown
Member Author

Looks good to me!

It also looks like github is smart enough to prevent me from approving my own PR, so I'll need your stamp as well for the merge.

@alexcrichton alexcrichton enabled auto-merge (squash) August 15, 2022 17:20
Copy link
Copy Markdown
Contributor

@jameysharp jameysharp left a comment

Choose a reason for hiding this comment

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

Curse your excessive cleverness, GitHub! 😂

@alexcrichton alexcrichton merged commit cc955e4 into bytecodealliance:main Aug 15, 2022
@alexcrichton alexcrichton deleted the rename-drain branch August 15, 2022 21:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

wasmtime:api Related to the API of the `wasmtime` crate itself

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants