✓
Passing This code compiles and runs correctly.
Code
// LEGAL SIBLING of the 210_247-251 pins: every surface the one-name rule
// guards, spelled with distinct names, must still compile and run.
import std/io
tor f { a: i64, b: i64 }
| done { x: i64, y: i64 }
| fail
tor g { a: i64 } -> { x: i64, y: i64 }
g -> { x: a, y: a }
f => done { x: a, y: b }
f(a: 1, b: 2)
| done d |> std/io:print.ln("{{ d.x:d }} {{ d.y:d }}")
| fail |> std/io:print.ln("f")
g(a: 3): r |> std/io:print.ln("{{ r.x:d }} {{ r.y:d }}")
tor h { a: i64 } -> { a: i64, y: i64 }
h -> { a, y: a * 2 }
h(a: 4): r |> std/io:print.ln("{{ r.a:d }} {{ r.y:d }}")
Actual
1 2
3 3
4 8
Expected output
1 2
3 3
4 8
Flows
flow ~f click a branch to expand · @labels scroll to their anchor
f (a: 1, b: 2)
flow ~g click a branch to expand · @labels scroll to their anchor
g (a: 3)
flow ~h click a branch to expand · @labels scroll to their anchor
h (a: 4)
Test Configuration
MUST_RUN