✗
Failing This test is currently failing.
Failed: config-error
Failure Output
error[PARSE003]: single continuation branch 'opened' carrying a payload is a one-variant tag union — declare the single output as a bare return instead: `-> <type>`
--> /Users/larsde/src/koru/tests/regression/300_ADVANCED_FEATURES/330_PHANTOM_TYPES/521_multiple_resources_partial_cleanup/fs.kz:4:1
|
4 | ~pub tor open-two { path1: string, path2: string }
| ^Code
~import app/fs
~app/fs:open-two(path1: "test1.txt", path2: "test2.txt")
| opened f |> app/fs:close(file: f.file1) // Close first file only
Flows
flow ~open-two click a branch to expand · @labels scroll to their anchor
open-two (path1: "test1.txt", path2: "test2.txt")
Imported Files
const std = @import("std");
const File = struct { handle: i32 };
~pub tor open-two { path1: string, path2: string }
| opened { file1: *File<opened!>, file2: *File<opened!> } // TWO obligations!
~proc open-two|zig {
std.debug.print("Opening two files: {s}, {s}\n", .{path1, path2});
const allocator = std.heap.page_allocator;
const f1 = allocator.create(File) catch unreachable;
const f2 = allocator.create(File) catch unreachable;
f1.* = File{ .handle = 42 };
f2.* = File{ .handle = 43 };
return .{ .opened = .{ .file1 = f1, .file2 = f2 } };
}
~pub tor close { file: *File<!opened> } // Consumes one obligation
~proc close|zig {
std.debug.print("Closing file\n", .{});
}