✓
Passing This code compiles and runs correctly.
Code
// PINS: a record return whose second field's type runs into a third
// `name: type` on the same line (`b: i64 c: i64`, comma dropped) refuses
// PARSE003 at the declaration — every `{`-led return type is validated by
// the one field parser, not only comma-free ones.
~import std/io
~tor make { id: i64 } -> { a: i64, b: i64 c: i64 }
~proc make|zig { _ = id; return undefined; }
~make(id: 1): m |> std/io:print.ln("{{ m.a:d }}")
Frontend must reject with:
CONTAINS error[PARSE003]
CONTAINS malformed record return
CONTAINS missing comma
CONTAINS 'c: i64'
ERROR_AT 7
NOT_CONTAINS output_emitted.zigFlows
flow ~make click a branch to expand · @labels scroll to their anchor
make (id: 1)