050 union accepts either state

✗ Failing This test is currently failing.

Failed: backend-exec

Failure Output

error[KORU021]: continuation branch 'resumed' on tor 'app.connection:resume' — a bare return has no tags
  --> tests/regression/300_ADVANCED_FEATURES/330_PHANTOM_TYPES/330_050_union_accepts_either_state/input.kz:3:8
  hint: bind the value with `: name`, not `| resumed`

❌ Compiler coordination error: Incomplete branch coverage
   (set KORU_BACKEND_TRACE=1 for the backend return trace)

Code

~import app/connection
~app/connection:create(): c1 |> app/connection:connect(conn: c1): c2 |> app/connection:resume(conn: c2)  // active -> resume accepts it!
        | resumed c3 |> app/connection:close(conn: c3)
~app/connection:create(): c1 |> app/connection:connect(conn: c1): c2 |> app/connection:pause(conn: c2): c3 |> app/connection:resume(conn: c3)  // paused -> resume accepts it!
            | resumed c4 |> app/connection:close(conn: c4)
~app/connection:create(): c1 |> app/connection:connect(conn: c1): c2 |> app/connection:close(conn: c2)  // active -> close accepts it!
~app/connection:create(): c1 |> app/connection:connect(conn: c1): c2 |> app/connection:pause(conn: c2): c3 |> app/connection:close(conn: c3)  // paused -> close accepts it!

input.kz

Expected output

Creating connection
Connecting: 1
Resuming/continuing: 1
Closing: 1
Creating connection
Connecting: 1
Pausing: 1
Resuming/continuing: 1
Closing: 1
Creating connection
Connecting: 1
Closing: 1
Creating connection
Connecting: 1
Pausing: 1
Closing: 1

Flows

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

create

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

create

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

create

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

create

Imported Files

// Library module: connection
// Demonstrates phantom state unions - events that accept multiple states

const std = @import("std");

// Connection type with phantom states
const Connection = struct {
    id: i32,
};

// Create a new connection - starts in 'idle' state
~pub tor create {} -> *Connection<idle>

~proc create|zig {
    std.debug.print("Creating connection\n", .{});
    const allocator = std.heap.page_allocator;
    const c = allocator.create(Connection) catch unreachable;
    c.* = Connection{ .id = 1 };
    return c;
}

// Connect - transitions from idle to active
~pub tor connect { conn: *Connection<idle> } -> *Connection<active>

~proc connect|zig {
    std.debug.print("Connecting: {d}\n", .{conn.id});
    return conn;
}

// Pause - transitions from active to paused
~pub tor pause { conn: *Connection<active> } -> *Connection<paused>

~proc pause|zig {
    std.debug.print("Pausing: {d}\n", .{conn.id});
    return conn;
}

// Resume - accepts EITHER paused OR active (union!) - always returns active
// This demonstrates the core union feature: flexible input acceptance
~pub tor resume { conn: *Connection<paused|active> } -> *Connection<active>

~proc resume|zig {
    std.debug.print("Resuming/continuing: {d}\n", .{conn.id});
    return conn;
}

// Close - accepts active OR paused (union!) - cleans up connection
~pub tor close { conn: *Connection<active|paused> }

~proc close|zig {
    std.debug.print("Closing: {d}\n", .{conn.id});
}

connection.kz

Test Configuration

MUST_RUN

← 049 default discharge annotation 051 union with consume marker →