Fix mutability bug #18
Merged
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
|
Damnit, that's what you get for using state... :) |
|
I can hear the Haskellers laughing at us now. |
|
Yes, at first, I was actually thinking of using a monad there, but that's a
bit too cumbersome in OCaml.
|
littledan
pushed a commit
to littledan/spec
that referenced
this pull request
Mar 4, 2018
* WIP on globals * Update Overview.md WebAssembly.Instance constructor changes * Update Overview.md Fix [[Global]] * Update Overview.md WebAssembly.Instance constructor global imports
eqrion
pushed a commit
to eqrion/wasm-spec
that referenced
this pull request
Jul 18, 2019
eqrion
pushed a commit
to eqrion/wasm-spec
that referenced
this pull request
Sep 18, 2019
… op proposal (WebAssembly#35) Adds table.size, table.grow, table.fill to overview, spec, interpreter, and tests, as decided at recent CG meeting. Also adds a few more tests for table.get and table.set. Also, change interpreter's segment encoding to match bulk ops proposal, addressing WebAssembly#18. (Not updated in spec yet, since corresponding spec text is still missing from bulk ops proposal.)
rossberg
referenced
this pull request
in effect-handlers/wasm-spec
Feb 15, 2021
dhil
pushed a commit
to dhil/webassembly-spec
that referenced
this pull request
Mar 2, 2023
dhil
added a commit
to dhil/webassembly-spec
that referenced
this pull request
Mar 2, 2023
This patch adapts the internal and external representation of tags such that they are parameterised by a type index rather than an immediate type. In addition, it also updates the implementation of exception handling to match that of WebAssembly/exception-handling. Co-authored-by: Andreas Rossberg <[email protected]>
dhil
pushed a commit
to dhil/webassembly-spec
that referenced
this pull request
Oct 3, 2023
Eliminate second allocation in closure example
dhil
added a commit
to dhil/webassembly-spec
that referenced
this pull request
Jan 25, 2024
This patch (re)installs the check for continuation type well-formedness. Resolves wasmfx#17 --------- Co-authored-by: Andreas Rossberg <[email protected]>
rossberg
pushed a commit
that referenced
this pull request
Mar 7, 2024
dhil
pushed a commit
to dhil/webassembly-spec
that referenced
this pull request
Apr 12, 2024
Update README to reference fibers instead of tasks
rossberg
pushed a commit
that referenced
this pull request
Sep 4, 2024
As this is the first time we have separate proposals under the same subgroup - I'm duplicating the charter here as well as in the flexible vectors proposal for discoverability, and for easy modification in case we decide to split the subgroup based on proposals in the future.
rossberg
pushed a commit
that referenced
this pull request
Nov 6, 2024
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Manifests when running test suite with multiple file arguments.