🐌 owi
owi is an OCaml toolchain to work with WebAssembly. It provides an interpreter as an executable and a library.
owi
can be installed with opam:
$ opam install owi
If you don't have opam
, you can install it following the how to install opam guide.
If you can't or don't want to use opam
, you can build the package with dune build -p owi @install
but you'll first have to install the dependencies by yourself. You can find the list of dependencies in the dune-project file.
Given a file test/passing/quickstart.wast
with the following content:
(module $quickstart
(func $f
i32.const 24
i32.const 24
i32.add
drop
)
(start $f)
)
Running the executable interpreter is as simple as:
$ dune exec owi -- --debug test/passing/quickstart.wast
parsing ...
checking ...
grouping ...
assigning ...
rewriting ...
typechecking ...
linking ...
interpreting ...
stack : [ ]
running instr: call 0
calling func : func f
stack : [ ]
running instr: i32.const 24
stack : [ i32.const 24 ]
running instr: i32.const 24
stack : [ i32.const 24 ; i32.const 24 ]
running instr: i32.add
stack : [ i32.const 48 ]
running instr: drop
stack : [ ]
stack : [ ]
You can also pass the --script
flag to run the file as a reference test suite script. This will allow you to add constructs like assertions and will also link the spectest module, which provides function for e.g. printing.
If you're interested in the library part of owi, here's how to get started:
# open Owi;;
# let filename = "test/passing/quickstart.wast";;
val filename : string = "test/passing/quickstart.wast"
# let m =
match Parse.Module.from_file ~filename with
| Ok script -> script
| Error e -> failwith e;;
val m : Symbolic.modul =
...
# let module_to_run, link_state =
match Compile.until_link Link.empty_state ~optimize:false ~name:None m with
| Ok v -> v
| Error e -> failwith e;;
val module_to_run : Link.module_to_run =
...
val link_state : Link.state =
...
# let () =
Log.debug_on := true;
match Interpret.modul module_to_run with
| Ok () -> ()
| Error e -> failwith e;;
interpreting ...
stack : [ ]
running instr: call 0
calling func : func f
stack : [ ]
running instr: i32.const 24
stack : [ i32.const 24 ]
running instr: i32.const 24
stack : [ i32.const 24 ; i32.const 24 ]
running instr: i32.add
stack : [ i32.const 48 ]
running instr: drop
stack : [ ]
stack : [ ]
For more, have a look at the example folder, at the documentation or at the test suite.
The 🐌 status means the proposal is not applicable to owi.
We only list proposals that reached phase 3 at least.