✓
Passing This code compiles and runs correctly.
Code
// Template engine NORTH STAR (if = pure continuation): `~if` is a |template|
// proc with NO effects — it just RETURNS one of its terminal continuations.
// The template's own `if/else` structure picks which terminal is returned;
// the consumer's `| then |>` / `| else |>` body dispatches on it. This is the
// SAME machine as `for` (effects called during, terminal returned) with the
// "during" half empty — the proof that control flow is one mechanism.
~import std/control
~import std/io
const cond = true;
~std/control:if(cond)
| then |> std/io:print.ln("then taken")
| else |> std/io:print.ln("else taken")
Actual
then taken
Expected output
then taken
Test Configuration
MUST_RUN