Standard Library: Vec

std.vec is a growable Vec over i64-shaped slots, written entirely in MIND. It bottoms out in seven host-supplied __mind_* intrinsics, so there is no built-in pointer type, no hidden allocator, and no implementation magic above the intrinsic layer.

Layout

Public API

• vec_new() -> Vec
• vec_push(v: Vec, x: i64) -> Vec
• vec_pop(v: Vec) -> (Vec, i64)
• vec_get(v: Vec, i: i64) -> i64
• vec_set(v: Vec, i: i64, x: i64) -> Vec
• vec_len(v: Vec) -> i64
• vec_capacity(v: Vec) -> i64
• vec_free(v: Vec) -> i64

Example

use std.vec;

fn main() -> i64 {
    let v = vec_new();
    let v = vec_push(v, 10);
    let v = vec_push(v, 20);
    let v = vec_push(v, 30);

    let n = vec_len(v);          // 3
    let x = vec_get(v, 1);       // 20

    vec_free(v);
    return x;
}

Every operation returns the (possibly reallocated) Vec handle — there is no hidden mutation. The use std.vec declaration resolves against the bundled stdlib, with last-write-wins shadowing if your crate defines its own std.vec module.

Intrinsics this rests on

• __mind_alloc(size: i64) -> i64
• __mind_realloc(addr: i64, new_size: i64) -> i64
• __mind_free(addr: i64) -> i64
• __mind_load_i64(addr: i64, offset: i64) -> i64
• __mind_store_i64(addr: i64, offset: i64, value: i64) -> i64

Forking the stdlib (Phase D)

1. MIND_STDLIB_PATHset to path/to/stdlib at project-load time
2. Project loaderreads vec.mind, string.mind, map.mind, io.mind from that directory
3. Fallback to bundledmissing files, missing directory, or parse failure

Set MIND_STDLIB_PATH=path/to/stdlib to override the bundled blobs at project-load time — the project loader will read vec.mind, string.mind, map.mind, and io.mind from that directory instead. Missing files, missing directory, or parse failure silently fall back to bundled.

Use case: a regulated deployment that needs a stricter std.string (inline UTF-8 validation, length bound) without forking mindc itself. Same fork-without-recompile escape hatch Rust’s RUSTC_BOOTSTRAP provides.