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

Fix and Update wasi-types Generation #3387

Closed
theduke opened this issue Nov 29, 2022 · 0 comments · Fixed by #3422
Closed

Fix and Update wasi-types Generation #3387

theduke opened this issue Nov 29, 2022 · 0 comments · Fixed by #3422
Assignees
Labels
bug Something isn't working priority-high High priority issue

Comments

@theduke
Copy link
Contributor

theduke commented Nov 29, 2022

Fix the ./regenerate.sh script for wasi types.

  • Update to the new wai-bindgen-cli
  • Use a pinned version of wai-binden-cli
  • Re-generate bindings and make sure defintions haven't changed
  • Remove clockid from typenames.wit
    This has been replaced with snapshot0-clockid in Restore Support For All Wasi Clock Types #3386
  • Make sure the script deletes the unused bindings.rs file

Priority is high because this really needs to work properly.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working priority-high High priority issue
Projects
None yet
2 participants