037 types bool in module

✓ Passing This code compiles and runs correctly.

Code

// MIRROR of 030_103_bool_type: `~bool` declaring a nominal boolean inside an
// imported .kz module, used as the parameter of a branching tor there.
//
// Completes the nominal-primitive set alongside 115_031 and 115_032. This one
// carries branches, so the minted type has to survive into branch dispatch and
// not just a parameter position.
import app/lib

app/lib:run()

input.k

Actual

User is active

Expected output

User is active

Flows

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

run

Imported Files

~import std/types

const std = @import("std");

~bool(IsActive)

~tor check-status { active: IsActive }
| active
| inactive

~proc check-status|zig {
    if (active) {
        std.debug.print("User is active\n", .{});
        return .{ .active = .{} };
    } else {
        std.debug.print("User is inactive\n", .{});
        return .{ .inactive = .{} };
    }
}

~pub tor run {}
~run = check-status(active: true)
| active |> _
| inactive |> _

lib.kz

Test Configuration

MUST_RUN

← 036 runtime register in module 038 trellis enforce in module →