120 instantiate basic

✗ Failing This test is currently failing.

Failed: frontend

Failure Output

error[PARSE003]: single continuation branch 'made' carrying a payload is a one-variant tag union — declare the single output as a bare return instead: `-> <type>`
  --> tests/regression/000_CORE_LANGUAGE/035_TYPE_SYSTEM/030_120_instantiate_basic/input.kz:18:1
    |
 18 | ~event make-box {}
    | ^

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 →