b0939f6626
* Remove explicit `S` type parameters This commit removes the explicit `S` type parameter on `Func::typed` and `Instance::get_typed_func`. Historical versions of Rust required that this be a type parameter but recent rustcs support a mixture of explicit type parameters and `impl Trait`. This removes, at callsites, a superfluous `, _` argument which otherwise never needs specification. * Fix mdbook examples
39 lines
1.4 KiB
Rust
39 lines
1.4 KiB
Rust
//! Example of instantiating two modules which link to each other.
|
|
|
|
// You can execute this example with `cargo run --example linking`
|
|
|
|
use anyhow::Result;
|
|
use wasmtime::*;
|
|
use wasmtime_wasi::sync::WasiCtxBuilder;
|
|
|
|
fn main() -> Result<()> {
|
|
let engine = Engine::default();
|
|
|
|
// First set up our linker which is going to be linking modules together. We
|
|
// want our linker to have wasi available, so we set that up here as well.
|
|
let mut linker = Linker::new(&engine);
|
|
wasmtime_wasi::add_to_linker(&mut linker, |s| s)?;
|
|
|
|
// Load and compile our two modules
|
|
let linking1 = Module::from_file(&engine, "examples/linking1.wat")?;
|
|
let linking2 = Module::from_file(&engine, "examples/linking2.wat")?;
|
|
|
|
// Configure WASI and insert it into a `Store`
|
|
let wasi = WasiCtxBuilder::new()
|
|
.inherit_stdio()
|
|
.inherit_args()?
|
|
.build();
|
|
let mut store = Store::new(&engine, wasi);
|
|
|
|
// Instantiate our first module which only uses WASI, then register that
|
|
// instance with the linker since the next linking will use it.
|
|
let linking2 = linker.instantiate(&mut store, &linking2)?;
|
|
linker.instance(&mut store, "linking2", linking2)?;
|
|
|
|
// And with that we can perform the final link and the execute the module.
|
|
let linking1 = linker.instantiate(&mut store, &linking1)?;
|
|
let run = linking1.get_typed_func::<(), ()>(&mut store, "run")?;
|
|
run.call(&mut store, ())?;
|
|
Ok(())
|
|
}
|