✓
Passing This code compiles and runs correctly.
Code
// PIN (kebab/leading-underscore): a leading underscore in a user binding is
// reserved for the compiler. A continuation-branch binding like `_ignored` is
// NOT a discard — bare `_` is. It is also not a real name. There is nothing
// `| err _ignored |>` does that `| err _ |>` does not, and a name the author
// never uses should not be legal spelling that dodges the unused-binding wall.
// REJECTED (KORU034) — same rule as 010_053, here at the binding position.
~import std/string
~import std/io
~std/string:from-page(text: "x")
| ok s |> std/io:print.ln("view dropped")
| err _ignored |> _
Must fail at frontend compile:
Parsing or type-checking must reject the program.
Expected patterns
Each line is a regex that must match the program output.
error\[KORU034\]:.*'_' is not allowed in a Koru .* name '_ignored'