cemc 0.1.2

Cem language compiler - A concatenative language with green threads and linear types
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
46
47
48
49
50
51
52
53
54
55
56

use cemc::ast::types::{Effect, StackType};
/**
 * Temporary program to compile hello_io.cem
 * Manually constructs AST for: : main ( -- ) "Hello, World!" write_line ;
 */
use cemc::ast::{Expr, Program, SourceLoc, WordDef};
use cemc::codegen::{CodeGen, link_program};
use std::process::Command;

fn main() -> Result<(), Box<dyn std::error::Error>> {
    // Build runtime first
    println!("Building runtime with I/O support...");
    let status = Command::new("just").arg("build-runtime").status()?;

    if !status.success() {
        return Err("Failed to build runtime".into());
    }

    // Manually construct AST for:
    // : main ( -- ) "Hello, World!" write_line ;
    let word = WordDef {
        name: "main".to_string(),
        effect: Effect {
            inputs: StackType::Empty,
            outputs: StackType::Empty,
        },
        body: vec![
            Expr::StringLit("Hello, World!".to_string(), SourceLoc::unknown()),
            Expr::WordCall("write_line".to_string(), SourceLoc::unknown()),
        ],
        loc: SourceLoc::unknown(),
    };

    let program = Program {
        type_defs: vec![],
        word_defs: vec![word],
    };

    // Generate LLVM IR with main() function
    println!("Generating LLVM IR...");
    let mut codegen = CodeGen::new();
    let ir = codegen.compile_program_with_main(&program, Some("main"))?;

    // Write IR to file for inspection
    std::fs::write("hello_io.ll", &ir)?;
    println!("Wrote LLVM IR to hello_io.ll");

    // Link with runtime (link_program compiles IR and links in one step)
    println!("Linking with runtime...");
    link_program(&ir, "runtime/libcem_runtime.a", "hello_io")?;

    println!("\n✅ Successfully compiled to ./hello_io");
    println!("Run it with: ./hello_io");

    Ok(())
}