21 open tx forgot close

✓ Passing Passing: the compiler rejects this program as expected.

Code

// Ground truth for korulang.org phantom explorer — commit but forget close
//
// With --auto-discharge=disable, the active! connection handed back by commit
// must be closed explicitly. It is not, and that is the refusal pinned here.
//
// `tx.begin` / `tx.exec` / `tx.commit` each produce a bare return, so their
// results are bound with `: <name>` — the spelling every green sibling in this
// family uses (2104_18/19/20/22).

~import app/db

~app/db:open(connstr: "postgres://localhost/test")
| connected c |> app/db:tx.begin(conn: c): t |> app/db:tx.exec(tx: t, sql: "INSERT INTO users VALUES (1, 'alice')"): r |> app/db:tx.commit(tx: r): _
| connection-failed |> _

input.kz

Supporting Files

// open/tx lifecycle API — ground truth for korulang.org phantom explorer

const std = @import("std");

const Connection = struct { handle: i32 };
const Transaction = struct { conn_handle: i32 };

~pub tor open { connstr: string }
| connected *Connection<connected!>
| connection-failed

~proc open|zig {
    _ = connstr;
    const c = std.heap.page_allocator.create(Connection) catch unreachable;
    c.* = Connection{ .handle = 42 };
    return .{ .connected = c };
}

~pub tor tx.begin { conn: *Connection<!connected|!active> } -> *Transaction<started!>

~proc tx.begin|zig {
    const t = std.heap.page_allocator.create(Transaction) catch unreachable;
    t.* = Transaction{ .conn_handle = conn.handle };
    return t;
}

~pub tor tx.exec { tx: *Transaction<!started|!active>, sql: string } -> *Transaction<active!>

~proc tx.exec|zig {
    std.debug.print("Executing: {s}\n", .{sql});
    return tx;
}

~pub tor tx.commit { tx: *Transaction<!active> } -> *Connection<active!>

~proc tx.commit|zig {
    std.debug.print("COMMIT\n", .{});
    const c = std.heap.page_allocator.create(Connection) catch unreachable;
    c.* = Connection{ .handle = tx.conn_handle };
    std.heap.page_allocator.destroy(tx);
    return c;
}

~pub tor tx.rollback { tx: *Transaction<!active> } -> *Connection<active!>

~proc tx.rollback|zig {
    std.debug.print("ROLLBACK\n", .{});
    const c = std.heap.page_allocator.create(Connection) catch unreachable;
    c.* = Connection{ .handle = tx.conn_handle };
    std.heap.page_allocator.destroy(tx);
    return .{ .rolled_back = c };
}

~pub tor close { conn: *Connection<!active> }

~proc close|zig {
    std.debug.print("Connection closed\n", .{});
    std.heap.page_allocator.destroy(conn);
}

db.kz

Actual compiler output

error[KORU030]: Resource '_' carries obligation <active!> was not discharged. Call one of: app.db:close, app.db:tx.begin
  --> tests/regression/900_EXAMPLES_SHOWCASE/910_LANGUAGE_SHOOTOUT/2104_21_open_tx_forgot_close/input.kz:13:0

❌ Compiler coordination error: Phantom semantic validation failed
   (set KORU_BACKEND_TRACE=1 for the backend return trace)

Must contain:

not discharged

Flows

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

open (connstr: "postgres://localhost/test")

Test Configuration

MUST_ERROR

Compiler Flags:

--auto-discharge=disable

← 20 open tx abandoned 22 open tx exec no finish →