✓
Passing This code compiles and runs correctly.
Code
// A compound names another home's terminal explicitly. `health:
// app/alpha:Health` resolves by address — alpha's declaration — never by
// spelling. Unqualified refs name a terminal exactly one home declares.
import app/alpha
import std/io
import std/proto
std/proto(Player) {
health: app/alpha:Health
}
std/io:print.ln("qualified")
Supporting Files
// Alpha's Health, named from elsewhere by address.
import std/proto
std/proto:f64(Health)
Actual
qualified
Expected output
qualified
Flows
flow ~std/proto click a branch to expand · @labels scroll to their anchor
std/proto (Player, source: health: app/alpha:Health)
flow ~print.ln click a branch to expand · @labels scroll to their anchor
print.ln (expr: "qualified")
Test Configuration
MUST_RUN