033 taps tap in module

✓ Passing This code compiles and runs correctly.

Code

// MIRROR of 330_042_metatype_binding_scope: `~tap` relocated into an imported
// .kz module, tapping a tor declared in that same module.
//
// tap is the most invasive transform on the wall: it walks the whole program
// finding matching transitions and WRAPS their continuations, then erases
// itself. Nothing else here rewrites code it did not appear next to, so this is
// the arm that says whether a program-wide rewrite is anchored to the tap's own
// module or to the entry.
import app/lib

app/lib:run()

input.k

Actual

Profile: app.lib:work.__void

Flows

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

run

Imported Files

~import std/taps
~import std/io

~tor work {}
~proc work|zig {
}

~tap(work -> *)
| Profile p |> std/io:print.ln("Profile: {{p.source:s}}.{{p.branch:s}}")

~pub tor run {}
~run = work()

lib.kz

Test Configuration

MUST_RUN

← 032 types float in module 034 constructor struct in module →