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

Restore Support For All Wasi Clock Types #3386

Merged
merged 2 commits into from
Nov 30, 2022
Merged

Conversation

theduke
Copy link
Contributor

@theduke theduke commented Nov 29, 2022

  • fix(wasi): Enables support for all Wasi clock types

Description

Enables support for the wasi process and thread time clock types (2 and 3).

These were already implemented, but not correctly wired up due to a
duplication of the Clockid type.

This commit switches to using the correct Snapshot0Clockid everywhere.

In the future the "enum Clockid" should be removed, but that was not
done in this commit because currently the ./regenerate.sh script is
broken.

Closes #3384 .

@theduke
Copy link
Contributor Author

theduke commented Nov 29, 2022

Followup work:

#3387
#3388

Enables support for the wasi process and thread time clock types (2 and 3).

These were already implemented, but not correctly wired up due to a
duplication of the Clockid type.

This commit switches to using the correct Snapshot0Clockid everywhere.

In the future the "enum Clockid" should be removed, but that was not
done in this commit because currently the ./regenerate.sh script is
broken.
@theduke theduke force-pushed the fix-issue-3384-wasi-clockids branch from 3ff07d3 to 3bb1871 Compare November 29, 2022 13:57
Copy link
Member

@syrusakbary syrusakbary left a comment

Choose a reason for hiding this comment

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

This looks good to me. It may be a good idea to get the review from Felix as well on this

@fschutt
Copy link
Contributor

fschutt commented Nov 30, 2022

bors r+

@bors
Copy link
Contributor

bors bot commented Nov 30, 2022

Build succeeded:

@bors bors bot merged commit b771604 into master Nov 30, 2022
@bors bors bot deleted the fix-issue-3384-wasi-clockids branch November 30, 2022 13:36
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.

not yet implemented: could not serialize number 2 to enum Clockid even with wasi_snapshot_preview1 ABI
3 participants