Noria

Test Suite and CI

Tests are example-driven: every program in examples/basic must compile, with native exit-code checks on macOS where applicable.

GitHub Actions on every push and PR (macOS + LLVM). Optional local runs with ASan/UBSan (just sanitize) or Valgrind (just valgrind).

Parser and type checker errors include source line and column information:

noria: error: 2:10: typecheck: unknown local variable 'missing'

Compiler Pipeline

Sample compilation of examples/basic/factorial.noria: click a stage for per-pass output from a local just build run.

1. Source
2. Lexer
3. Parser / AST
4. Type checker
5. LLVM IR
6. Opt
7. Native binary

Current MVP

The compiler supports i32 and bool, local variables, assignment, arithmetic, comparisons, if / else, while loops, functions, recursion, lexical scoping, static type checking, LLVM IR generation, optional LLVM optimization, and native macOS executable output.

fn adjust(value: i32) -> i32 {
  let result: i32 = value;
  let small: bool = result < 10;

  if small {
    let bonus: i32 = 5;
    result = result + bonus;
  } else {
    let penalty: i32 = 2;
    result = result - penalty;
  }

  return result;
}

fn main() -> i32 {
  let i: i32 = 0;
  let total: i32 = 0;

  while i < 5 {
    total = total + adjust(i * 3);
    i = i + 1;
  }

  return total;
}