183 bare arrow terminus without bind is refused

✓ Passing Passing: the compiler rejects this program as expected.

Code

input.k

Actual compiler output

error[PARSE001]: bind a result with `:` not `->` (e.g. `~greet(...): result |> ...`) — `->` is the produce glyph
  --> tests/regression/200_COMPILER_FEATURES/210_PARSER/210_183_bare_arrow_terminus_without_bind_is_refused/input.k:23:0
    |
 23 | run = seed() -> v
    | ^

Must fail at frontend compile:

Parsing or type-checking must reject the program.

Error output must contain

PARSE001

Test Configuration

MUST_ERROR