Skip to content
New issue

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

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

Already on GitHub? # to your account

Use more precise Wasm types #1907

Draft
wants to merge 10 commits into
base: master
Choose a base branch
from
Draft

Use more precise Wasm types #1907

wants to merge 10 commits into from

Conversation

vouillon
Copy link
Member

No description provided.

@vouillon vouillon added the wasm label Mar 28, 2025
vouillon added 9 commits April 2, 2025 20:27
Place Wasm block statements around control instructions rather than
around whole blocks. This results in less variable being uninitialized,
since variables initialized within a block are no longer considered as
initialized after the block.
We change the type of the local into a nullable type if we cannot use a
placeholder value
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant