Function stdlib_provides_runtime

tests/vm_diag_test.rs:199–221

()

    let mut tokens = Vec::new();
    for (_, src) in get_stdlib_modules_for_mode(TargetMode::Hosted).iter() {
        let result = pipeline.compile(src).expect("stdlib compile");
        let (_, t) = pipeline.compile_ir_to_assembly_with_tokens(&result.ir_program);
        tokens.extend(t);
    }
    use asm_to_binary::rv_instruction::RvInstruction;
    let has = |name: &str| {
        tokens
            .iter()
            .any(|t| matches!(t, RvInstruction::Label(n) if n == name))
    };
    assert!(has("console_putchar"), "stdlib must define console_putchar");
    assert!(has("print_int"), "stdlib must define print_int");
    assert!(has("sys_exit"), "stdlib must define sys_exit");
    assert!(has("_start"), "stdlib must define _start");
}

// Verify console.writeln writes a null-terminated string plus newline.
#[test]
fn puts_basic() {
    let src = r#"
console := import("console")

main: () -> i32 {
    console.writeln("Hi".ptr)
    return 0
}