122 instantiate two params

✗ 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_122_instantiate_two_params/input.kz:20:1
    |
 20 | ~event make-entry {}
    | ^

Code

// RED PIN (type-system design walk, 2026-07-06/07). REWRITTEN from the
// dead `~type(StringIntEntry = Entry<...>)` generation. The alias-
// dissolution pin: the SAME stamped name spelled at two independent
// sites (a declaration site and a consumption site, no alias, no
// import of a type binding) must resolve to the SAME registry
// identity. Deterministic name = shared identity — this is the
// registry acting as the symbol table a naming convention can lean on.
// Spelling PROVISIONAL.

~import std/types

const std = @import("std");

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

// Site A constructs by the stamped name.
~event make-entry {}
| made entry#i64#i64

~proc make-entry|zig {
    return .{ .made = @"entry#i64#i64"{ .key = 1, .value = 42 } };
}

// Site B consumes by spelling the same name independently.
~event show-entry { e: entry#i64#i64 }

~proc show-entry|zig {
    std.debug.print("{d} = {d}\n", .{ e.key, e.value });
}

~make-entry()
| made m |> show-entry(e: m)

input.kz

Must contain:

1 = 42

Flows

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

struct (expr: entry#i64#i64, source: key: i64, value: i64,)

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

make-entry

Test Configuration

MUST_RUN

← 121 instantiate with named type 123 instantiate nested generic →