243 positional tail tor call refused

✓ Passing This code compiles and runs correctly.

Code

// PINS: the law is call-level, not std-level — an ordinary tor invocation
// must refuse a bare literal tail too. `mk(a: 41, 37)`: the named arg is
// legal; the 37 cannot pun.
import std/io

tor mk { a: i64 } -> i64
mk = a

mk(a: 41, 37): v |> std/io:print.ln("{{ v:d }}")

input.k

Frontend must reject with:

CONTAINS does not name a parameter

Flows

subflow ~mk click a branch to expand · @labels scroll to their anchor

flow ~mk click a branch to expand · @labels scroll to their anchor

mk (a: 41, 37)

← 242 positional tail after named arg refused 244 duplicate label bound twice refused →