Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update to resources. #37

Closed
wants to merge 1 commit into from
Closed

Conversation

sunfishcode
Copy link
Member

Marking a draft PR for now until resources are fully implemented; but this shows a picture of what this API will look like.

 - Convert to resources. Use resources instead of `u32`s, remove
   drop functions, `this` arguments, and rename `subscribe-to-*`
   to just `subscribe`, as discussed in WebAssembly/wasi-poll#21.

 - Merge wasi-poll into wasi-io. These two proposals are closely
   related to each other, so it makes sense to have them together.

 - While here, tidy up the poll API, incorporating ideas discussed
   in WebAssembly/wasi-poll#220:

   - Rename `poll-oneoff` to `poll-list`, and add a `poll-one`.

   - Change `poll-oneoff`'s return type from `list<bool>` to `list<u32>`,
     because in the common case, this should allow it to create much
     smaller allocations.
@sunfishcode
Copy link
Member Author

I have a major new update here; I'll open a new PR.

@sunfishcode sunfishcode deleted the resources branch September 12, 2023 23:02
@sunfishcode sunfishcode restored the resources branch September 12, 2023 23:02
@sunfishcode
Copy link
Member Author

The new PR is #46.

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.

1 participant