pub fn first_reachable(program: &CompiledProgram) -> Option<Offload>Expand description
The first unsupported op REACHABLE from the program’s entry — the honest question for a backend deciding whether it can build this program.
★ first scans the WHOLE code array, which includes every standard-library function the
prelude loaded and nobody calls. web.lg holds the browser fetch wrappers AND the pure-text
helpers htmlEscape, isIntText and matchRoute, so scanning everything told any program
that escaped a string or matched a route that it “touches the DOM” — which is every real
server. A backend must not refuse a program for code it will never emit.
Reachability walks Op::Call from Main, plus every closure body (a closure is called through
a handle, so its target is not a static call edge and treating it as reachable is the SAFE
direction: an unreachable refusal is a nuisance, a missed one ships a program that cannot run).