✓
Passing Passing: the compiler rejects this program as expected.
Code
// TEST: A stray ']' (or ')') before its matching opener in a call's argument
// list must be rejected LOUDLY at the parser, located at the user's
// source line — not silently mis-split into malformed args that only
// blow up later as an opaque Zig backend error pointing at generated code.
//
// MUST_ERROR: unbalanced
//
// `lexer.parseArgs` tracks paren/bracket depth as unsigned and previously
// CLAMPED a closer with no opener (`]` while depth==0) to zero. The imbalance
// was swallowed, the comma split fired anyway, and the orphaned ']' landed in
// the emitted Zig — surfacing as `error: expected expression, found ']'` at
// output_emitted.zig instead of here. Reject it at the earliest layer.
//
// NOTE: '<'/'>' are NOT covered — they are overloaded as comparison operators
// in Expression args, so their depth is intentionally clamped, not rejected.
~import std/io
~pub tor sum { xs: string } -> i32
~sum(xs: ]1, 2[): n |> std/io:print.ln("got")
Actual compiler output
error[PARSE004]: unbalanced ')' or ']' in arguments — closing delimiter has no matching opener
--> tests/regression/100_PARSER/100_082_unbalanced_bracket_in_args/input.kz:21:1
|
21 | ~sum(xs: ]1, 2[): n |> std/io:print.ln("got")
| ^Frontend must reject with:
CONTAINS error[PARSE004
CONTAINS unbalancedExpected compiler error
error[PARSE004]: unbalanced ')' or ']' in arguments — closing delimiter has no matching opener
--> tests/regression/100_PARSER/100_082_unbalanced_bracket_in_args/input.kz:21:1
|
21 | ~sum(xs: ]1, 2[): n |> std/io:print.ln("got")
| ^
Test Configuration
MUST_ERROR