036 runtime register in module

✓ Passing This code compiles and runs correctly.

Code

// MIRROR of 430_044_runtime_run_budget: `std/runtime:register` declaring a
// priced scope inside an imported .kz module, with the interpreted run that
// draws on it.
//
// The registered scope names a tor of the module and prices it, and the source
// string resolves that name at run time through the registry the transform
// built. A scope registered under the wrong home would leave the name
// unresolvable rather than mispriced.
import app/lib

app/lib:run()

input.k

Actual

EXHAUSTED

Expected output

EXHAUSTED

Flows

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

run

Imported Files

~import std/runtime
~import std/io

~pub tor expensive {}

~proc expensive|zig {
}

~std/runtime:register(scope: "budget") {
    expensive(10)
}

const TEST_SOURCE = "expensive()";

~pub tor run {}
~run = std/runtime:run(source: TEST_SOURCE, scope: "budget", budget: 5)
| result _ |> std/io:print.ln("OK")
| exhausted _ |> std/io:print.ln("EXHAUSTED")
| parse-error _ |> std/io:print.ln("PARSE ERROR")
| validation-error _ |> std/io:print.ln("VALIDATION ERROR")
| shape-error _ |> std/io:print.ln("SHAPE ERROR")
| event-denied _ |> std/io:print.ln("EVENT DENIED")
| dispatch-error _ |> std/io:print.ln("DISPATCH ERROR")
| scope-not-found _ |> std/io:print.ln("SCOPE NOT FOUND")

lib.kz

Test Configuration

MUST_RUN

← 035 io print in module 037 types bool in module →