Skip to content

Conversation

rossberg
Copy link
Member

@rossberg rossberg commented Mar 11, 2021

This adds functionality for en/decoding user defined custom sections to the En/Decode modules. Doesn't change the interpreter, but provides useful functionality for the Wasm lib build.

Also, rename stack_type to result_type to match spec.

The large diff in Encode.ml is misleading, since most of it just changed indentation.

@rossberg
Copy link
Member Author

Taking the liberty to land this, since it doesn't affect anything observable.

@rossberg rossberg merged commit 999d661 into master Mar 11, 2021
@rossberg rossberg deleted the bin-custom branch March 11, 2021 07:39
raoxiaojia pushed a commit to WasmCert/spec that referenced this pull request Apr 29, 2025
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