Skip to main content

program_main_fabric

Function program_main_fabric 

Source
pub fn program_main_fabric(src: &str) -> WProgConfig
Expand description

Lift a WHOLE LOGOS PROGRAM from its ## Main: the code region the compiler emits before the first function body (terminated by Halt), plus every function it transitively calls. Main takes no parameters and its Halt is a top-level Return 0; its Shows become SHOW cells (kind 10) so the program’s OUTPUT — not just a return value — runs on the engine, ≡ vm_outcome(src).output line for line (program_output).