032 types float in module

✓ Passing This code compiles and runs correctly.

Code

// MIRROR of 030_102_float_type: `~float` declaring a nominal floating-point
// type inside an imported .kz module.
//
// Sibling of 115_031 on the other primitive. Kept separate because the types
// library mints one transform per primitive and a shared fault would show on
// both while a per-primitive one would not. Asserts output rather than a clean
// run, for the reason 115_036 demonstrates.
import app/lib

app/lib:run()

input.k

Actual

Temperature: 98.6

Expected output

Temperature: 98.6

Flows

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

run

Imported Files

~import std/types

const std = @import("std");

~float(Temperature)

~tor report-temp { temp: Temperature }

~proc report-temp|zig {
    std.debug.print("Temperature: {d:.1}\n", .{temp});
}

~pub tor run {}
~run = report-temp(temp: 98.6)

lib.kz

Test Configuration

MUST_RUN

← 031 types nominal in module 033 taps tap in module →