122 instantiate two params

✗ Failing This test is currently failing.

Failed: backend-exec

Error Details

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

Failure Output

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

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 →