120 instantiate basic

✗ Failing This test is currently failing.

Failed: backend-exec

Error Details

output_emitted.zig:39:14: error: expected ';' after declaration

Failure Output

🎯 Compiler coordination: Passes: 15 (flow-based: frontend, analysis, emission)
Error: output_emitted.zig:39:14: error: expected ';' after declaration
    const box#i64 = struct {
             ^~~~~~~~~~~~~~~

Code

// RED PIN (type-system design walk, 2026-07-06/07). REWRITTEN from the
// dead `~type(OptionalInt = Option<i32>)` alias generation. Under the
// stamped-name convention the alias DISSOLVES: the deterministic name
// IS the identity, spellable anywhere. This pin = registry breakdown
// #4 (generic event param): a stamped type named in an EVENT SIGNATURE
// — the boundary the old alias existed to cross. The event's param
// type is the stamped name itself; no alias declaration anywhere.
// Spelling PROVISIONAL.

~import std/types

const std = @import("std");

~std/types:struct(box#i64) {
    value: i64,
}

~event make-box {}
| made box#i64

~proc make-box|zig {
    return .{ .made = @"box#i64"{ .value = 123 } };
}

~event show-box { b: box#i64 }

~proc show-box|zig {
    std.debug.print("Value: {d}\n", .{b.value});
}

~make-box()
| made m |> show-box(b: m)

input.kz

Must contain:

Value: 123

Flows

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

struct (expr: box#i64, source: value: i64,)

flow ~make-box click a branch to expand · @labels scroll to their anchor

make-box

Test Configuration

MUST_RUN

← 113 generic struct with primitives 121 instantiate with named type →