Source in.
Machine code out.
Nothing in between.

module exe shapes;

type
  Color = choices(red, green, blue = 5, alpha);

  Point = record
    x: float64;
    y: float64;
  end;

  Shape = record
    origin: Point;
    color:  Color;
    name:   string;
  end;

routine hsv_to_rgb(const h: float32; var r: uint8; var g: uint8; var b: uint8);
begin
  r := uint8(h * 255.0);
  g := uint8((1.0 - h) * 255.0);
  b := 128;
end;

begin
  var s: Shape = Shape(origin: Point(x: 10.0, y: 20.0), color: Color.blue, name: "box");
  var r: uint8;
  var g: uint8;
  var b: uint8;
  hsv_to_rgb(0.25, r, g, b);
  println("%s at (%f, %f) rgb(%d, %d, %d)", s.name, s.origin.x, s.origin.y, r, g, b);
end.

module exe interop;

// the same routine, bound to the C runtime of each target
@ifdef TARGET_WIN64
routine clink myabs(const n: int32): int32; external "msvcrt.dll" name "abs";
@elseif TARGET_LINUX64
routine clink myabs(const n: int32): int32; external "libc.so.6" name "abs";
@endif

// a Windows-only system DLL
@ifdef TARGET_WIN64
routine clink GetTick(): uint64; external "kernel32" name "GetTickCount64";
@endif

// a generated binding: import SDL3 and call it qualified
import SDL3;

begin
  println("abs(-42) = %d", myabs(-42));
  @ifdef TARGET_WIN64
  println("tick = %llu", GetTick());
  @endif
  SDL3.SDL_Init(SDL3.SDL_INIT_VIDEO);
  SDL3.SDL_Quit();
end.

module dll mathlib;

public var call_count: int32 = 0;

public routine clink fast_add(const a: int32; const b: int32): int32;
begin
  call_count += 1;
  return a + b;
end;

initialize
  println("mathlib loaded");
end;

finalize
  println("mathlib unloaded after %d calls", call_count);
end;

end.

routine safe_div(const a: int32; const b: int32): int32;
begin
  guard
    return a div b;          // hardware divide-by-zero is caught
  except
    println("caught %s (code %lld)", cstr(excmsg()), exccode());
    return -1;
  finally
    println("always runs");
  end;
end;

routine load(const path: string);
begin
  if len(path) = 0 then
    throwcode(404, "empty path");   // propagates across routines, modules and static libs
  end;
end;

module exe mathlib;
@unittestmode on;

routine add(const a: int32; const b: int32): int32;
begin
  return a + b;
end;

end.

test "add returns the sum"
begin
  asserteq(5, add(2, 3));
  asserteq(-2, add(-5, 3));
end;

test "float tolerance"
begin
  asserteqf(3.14, 22.0 / 7.0, 0.01);
end;