✗
Failing This test is currently failing.
Failed: wrong-error
Failure Output
Showing last 10 of 11 lines
--> auto_discharge:11:0
❌ Compiler coordination error: Auto-discharge failed (multiple disposal options or no disposal event)
error: CompilerCoordinationFailed
/Users/larsde/src/koru/tests/regression/900_EXAMPLES_SHOWCASE/910_LANGUAGE_SHOOTOUT/2104_05_commit_without_close/backend.zig:94:13: 0x10497f38b in emit (backend)
return error.CompilerCoordinationFailed;
^
/Users/larsde/src/koru/tests/regression/900_EXAMPLES_SHOWCASE/910_LANGUAGE_SHOOTOUT/2104_05_commit_without_close/backend.zig:190:28: 0x104980077 in main (backend)
const generated_code = try RuntimeEmitter.emit(compile_allocator, final_ast);
^Code
// TEST: Commit but forget to close the connection
//
// After commit, we get Connection[active!] back.
// If we don't close it, that's a resource leak!
//
// EXPECTED: Compiler error - Connection[active!] obligation not discharged
~import app/db
~app/db:connect(host: "localhost")
| ok c |> app/db:begin(conn: c)
| ok t |> app/db:exec(tx: t, sql: "INSERT INTO users VALUES (1, 'alice')")
| ok r |> app/db:commit(tx: r)
| ok _ |> _
| err _ |> _
| err _ |> _
| err _ |> _
| err _ |> _
Must fail at runtime:
Program must error when executed.
Error Verification
Expected Error Pattern
was not disposed. Call one of:Actual Compiler Output
error[KORU030]: Resource '_auto_0' <active!> was not discharged. Call one of: begin, close
--> auto_discharge:11:0
❌ Compiler coordination error: Auto-discharge failed (multiple disposal options or no disposal event)
error: CompilerCoordinationFailed
/Users/larsde/src/koru/tests/regression/900_EXAMPLES_SHOWCASE/910_LANGUAGE_SHOOTOUT/2104_05_commit_without_close/backend.zig:94:13: 0x10497f38b in emit (backend)
return error.CompilerCoordinationFailed;
^
/Users/larsde/src/koru/tests/regression/900_EXAMPLES_SHOWCASE/910_LANGUAGE_SHOOTOUT/2104_05_commit_without_close/backend.zig:190:28: 0x104980077 in main (backend)
const generated_code = try RuntimeEmitter.emit(compile_allocator, final_ast);
^Imported Files
// Database module demonstrating phantom obligation semantics
//
// State machine:
// connect() → Connection[connected!] -- must use connection
// begin() → Transaction[started!] -- consumes conn, must exec
// exec() → Transaction[active!] -- now can commit/rollback
// commit() → Connection[active!] -- returns conn, can reuse or close
// rollback() → Connection[active!] -- returns conn, can reuse or close
// close() → void -- only accepts [!active], not [!connected]
//
// Key insight: close() requires [!active], which only comes from commit/rollback.
// This FORCES you to use the connection meaningfully before closing.
const std = @import("std");
const Connection = struct { handle: i32 };
const Transaction = struct { conn_handle: i32 };
// connect: creates connection with [connected!] obligation
~pub event connect { host: []const u8 }
| ok *Connection<connected!>
| err []const u8
~proc connect|zig {
const c = std.heap.page_allocator.create(Connection) catch unreachable;
c.* = Connection{ .handle = 42 };
return .{ .ok = c };
}
// begin: consumes [!connected] OR [!active], produces Transaction[started!]
~pub event begin { conn: *Connection<!connected|!active> }
| ok *Transaction<started!>
| err []const u8
~proc begin|zig {
const tx = std.heap.page_allocator.create(Transaction) catch unreachable;
tx.* = Transaction{ .conn_handle = conn.handle };
return .{ .ok = tx };
}
// exec: consumes [!started] OR [!active], produces Transaction[active!]
~pub event exec { tx: *Transaction<!started|!active>, sql: []const u8 }
| ok *Transaction<active!>
| err []const u8
~proc exec|zig {
std.debug.print("Executing: {s}\n", .{sql});
return .{ .ok = tx };
}
// commit: consumes [!active], returns Connection[active!]
~pub event commit { tx: *Transaction<!active> }
| ok *Connection<active!>
| err []const u8
~proc 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 .{ .ok = c };
}
// rollback: consumes [!active], returns Connection[active!]
~pub event rollback { tx: *Transaction<!active> }
| ok *Connection<active!>
| err []const u8
~proc 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 .{ .ok = c };
}
// close: ONLY accepts [!active] - forces meaningful use before close
~pub event close { conn: *Connection<!active> }
| err []const u8
~proc close|zig {
std.debug.print("Connection closed\n", .{});
std.heap.page_allocator.destroy(conn);
}
Test Configuration
MUST_FAIL