031 types nominal in module

✓ Passing This code compiles and runs correctly.

Code

// MIRROR of 030_142_nominal_in_pipeline: `~string` and `~int` declaring nominal
// primitive types inside an imported .kz module, used as tor parameter types
// there.
//
// Both are BARE keyword transforms, and the types they mint are registry
// entries that a call site is checked against — so this pins that the registry
// entry a module declares is the one its own call site resolves. The
// original carries no expected.txt because it prints through the host's stderr;
// this one asserts that output anyway — the harness captures stderr, and a
// mirror that only checked for a clean run would score 115_036's silent wrong
// answer as green.
import app/lib

app/lib:run()

input.k

Actual

Hello alice (ID: 42)

Expected output

Hello alice (ID: 42)

Flows

flow ~run click a branch to expand · @labels scroll to their anchor

run

Imported Files

~import std/types

const std = @import("std");

~string(Username)
~int(UserId)

~tor greet-user { name: Username, id: UserId }

~proc greet-user|zig {
    std.debug.print("Hello {s} (ID: {d})\n", .{ name, id });
}

~const { user: "alice", uid: 42 }

~pub tor run {}
~run = greet-user(name: user, id: uid)

lib.kz

Test Configuration

MUST_RUN

← 030 types struct in module 032 types float in module →