101 int type

? Unknown Status unknown.

Code

// TEST: ~int creates a nominal integer type
//
// ~int(UserId) creates a distinct type that wraps i64
// Koru tracks it as a separate type for type checking purposes.
//
// Expected: Compiles and runs, UserId is usable as an integer

~import "$std/types"

const std = @import("std");

~int(UserId)

~event lookup_user { id: UserId }

~proc lookup_user|zig {
    std.debug.print("Looking up user: {d}\n", .{id});
}

~lookup_user(id: 42)

input.kz

Actual

Looking up user: 42

Must contain:

Looking up user: 42

Test Configuration

MUST_RUN