package wax-lib

You can search for identifiers within the package.

in-package search v0.2.0

Libraries for Wax, a Rust-like syntax for WebAssembly

Install

dune-project

Dependency

github.com Readme Changelog Edit opam file Versions (2)

Authors

J

Jérôme Vouillon

Maintainers

J

Jérôme Vouillon

Sources

wax-v0.2.0.tbz

sha256=4361e1324b7754a4c08ab5b505df32061f3ce0cea60443fd0d3699e0fa796b32

sha512=fcc756d2f160ba90a9aa1131f2ab22ed7f45466ccd658c21cf9df6868a6aab0cee7f404719d698a379958802f9820398f2fe0685ecc4dda018ca4f653294e39b

doc/wax-lib.wasm/Wax_wasm/Folding/index.html

Module `Wax_wasm.Folding`Source

Folded/Unfolded instruction conversion.

Source

val fold : 
  Wax_utils.Diagnostic.context ->
  Ast.location Ast.Text.module_ ->
  Ast.location Ast.Text.module_

fold d modul converts unfolded instructions (like i32.add) into folded S-expressions (like (i32.add ...)) where possible in the module. Folding is arity-driven and resolves names per conditional branch, so it needs the located AST (to model branch conditions). Because it runs on input that is not validated first (an unvalidated wat->wat conversion or a trusted wasm->wat binary), an unbound index — or one that resolves to the wrong kind of definition — is reported to d rather than raising.

Sourceval unfold : 'info Ast.Text.module_ -> 'info Ast.Text.module_

unfold modul flattens folded S-expressions into linear instruction sequences in the module.