✗
Failing This test is currently failing.
Failed: backend-exec
Error Details
output_emitted.zig:45:14: error: expected ';' after declaration
Failure Output
🎯 Compiler coordination: Passes: 15 (flow-based: frontend, analysis, emission)
Error: output_emitted.zig:45:14: error: expected ';' after declaration
const box#i64 = struct {
^~~~~~~~~~~~~~~ Code
// RED PIN (type-system design walk, 2026-07-06/07). REWRITTEN from the
// dead generation: `~struct(Option<T>)` parametric grammar is banned
// (generics-are-a-comptime-library ruling, 2026-06-13; `<>` is the
// phantom channel). The intent — a parameterized type — survives as a
// STAMPED NAME: `#` marks a monomorphized type identity in the name
// itself (ruled direction 2026-07-06: layout-determining identity lives
// in the part that survives phantom erasure — the name).
//
// This pin claims ONLY: `#` is legal in a declared type name, and the
// declared type is emitted and usable (host side may see it as the
// Zig quoted identifier @"box#i64" — emission spelling PROVISIONAL).
// The stamping/family MECHANISM (who mints box#T for all T) is
// deliberately NOT pinned — that is the comprehension/generation
// design, still open.
~import std/types
~import std/io
const std = @import("std");
~std/types:struct(box#i64) {
value: i64,
}
~event main {}
~proc main|zig {
const b = @"box#i64"{ .value = 42 };
std.debug.print("Got: {d}\n", .{b.value});
}
~main()
Must contain:
Got: 42Flows
flow ~struct click a branch to expand · @labels scroll to their anchor
struct (expr: box#i64, source: value: i64,)
flow ~main click a branch to expand · @labels scroll to their anchor
main
Test Configuration
MUST_RUN