aver-lang 0.14.2

VM and transpiler for Aver, a statically-typed language designed for AI-assisted development
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45

//! WASM runtime entry point.
//!
//! Every runtime fn (alloc/heap GC, obj inspection, str/list/map/vec
//! ops, numeric formatting) lives in the WAT runtime under
//! `runtime/wat/*.part.wat` and is imported by user.wasm from the
//! `aver_runtime` module. This Rust crate just exposes the index
//! tables (`indices`) and the WAT → wasm bytes builder
//! (`wat_module`).
//!
//! Under `--target wasm --bridge wasip1`, an additional shim module
//! (`runtime/wat/aver_to_wasi.wat`) translates `aver/*` host calls
//! into `wasi_snapshot_preview1.*` so the program runs standalone
//! under wasmtime.

mod indices;
mod wat_module;

use wasm_encoder::Function;

pub use indices::{
    AverRuntimeImports, RuntimeFuncIndices, emit_base_type_section, lookup_type_index,
    rt_type_index,
};
pub use wat_module::{build_aver_to_wasi_wasm, build_runtime_wasm};

/// Scratch area for IO in linear memory. Reserved: bytes 0-127.
/// Layout: [0..7] iovec, [8..11] nwritten, [16..37] int_buf,
///         [40] newline/scratch byte, [48..95] float_buf (48 bytes)
pub const IO_SCRATCH_SIZE: u32 = 128;
#[allow(dead_code)]
pub(crate) const IO_IOVEC: u32 = 0;
#[allow(dead_code)]
pub(crate) const IO_NWRITTEN: u32 = 8;
#[allow(dead_code)]
pub(crate) const IO_INT_BUF: u32 = 16;
pub const NEWLINE_ADDR: u32 = 40;
#[allow(dead_code)]
pub(crate) const IO_FLOAT_BUF: u32 = 48; // 48 bytes for float digits (48..95)

/// Emit local runtime function bodies. Always empty today — every
/// runtime fn lives in `aver_runtime` (imported). Kept as a hook for
/// any future Rust-side helper that prefers wasm-encoder over WAT.
pub fn emit_runtime_functions(_rt: &RuntimeFuncIndices) -> Vec<Function> {
    Vec::new()
}