033 phantom state mismatch

✓ Passing This code compiles and runs correctly.

Code

~import app/lib/fs
~import app/lib/mipmap
const std = @import("std");
const File = struct {
    handle: i32,
};
~tor needs-fs-file { file: *File<app/lib/fs:open> }
~proc needs-fs-file|zig {
}
~app/lib/mipmap:load(path: "texture.png"): m |> needs-fs-file(file: m)

input.kz

Supporting Files

// File system module with phantom state
const std = @import("std");

const File = struct {
    handle: i32,
};

// Opens a file, returns with fs:open phantom state
~pub tor open { path: string } -> *File<open>

~proc open|zig {
    const allocator = std.heap.page_allocator;
    const f = allocator.create(File) catch unreachable;
    f.* = File{ .handle = 42 };
    return f;
}

lib/fs.kz

// Mipmap module with its own phantom state
const std = @import("std");

const File = struct {
    handle: i32,
};

// Loads a mipmap, returns with mipmap:open phantom state
~pub tor load { path: string } -> *File<open>

~proc load|zig {
    const allocator = std.heap.page_allocator;
    const f = allocator.create(File) catch unreachable;
    f.* = File{ .handle = 42 };
    return f;
}

lib/mipmap.kz

Error output must contain

Phantom state mismatch

Flows

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

load (path: "texture.png")

← 032 nested for scopes 034 unknown phantom module →