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
23 lines
770 B
Rust
23 lines
770 B
Rust
//! Example of instantiating of the WebAssembly module and invoking its exported
|
|
//! function.
|
|
|
|
// You can execute this example with `cargo run --example gcd`
|
|
|
|
use anyhow::Result;
|
|
use wasmtime::*;
|
|
|
|
fn main() -> Result<()> {
|
|
// Load our WebAssembly (parsed WAT in our case), and then load it into a
|
|
// `Module` which is attached to a `Store` cache. After we've got that we
|
|
// can instantiate it.
|
|
let mut store = Store::<()>::default();
|
|
let module = Module::from_file(store.engine(), "examples/gcd.wat")?;
|
|
let instance = Instance::new(&mut store, &module, &[])?;
|
|
|
|
// Invoke `gcd` export
|
|
let gcd = instance.get_typed_func::<(i32, i32), i32>(&mut store, "gcd")?;
|
|
|
|
println!("gcd(6, 27) = {}", gcd.call(&mut store, (6, 27))?);
|
|
Ok(())
|
|
}
|