✓
Passing Passing: the compiler rejects this program as expected.
Code
// Multi-pattern scan (leftmost-across-patterns) is a PINNED follow-up: `match`
// already does multi-pattern via `|` dispatch, and scan reaching parity is
// future work. For now a second `!` pattern is rejected loudly so the
// limitation is visible, not silent. When multi-pattern lands, this test flips
// to MUST_RUN.
import std/io
import std/regex
std/regex:scan(input: "a12")
! `[a-z]+` w |> std/io:print.ln("w={{ w:s }}")
! `[0-9]+` n |> std/io:print.ln("n={{ n:s }}")
| done |> std/io:print.ln("done")
Actual compiler output
error[KORU162]: std/regex:scan supports a single pattern branch for now; multi-pattern scan (leftmost-across-patterns) is pinned as a follow-up
--> tests/regression/600_STDLIB/640_REGEX/640_016_scan_multi_pattern_pinned/input.k:9:0Must contain:
single pattern branch for nowFlows
flow ~scan click a branch to expand · @labels scroll to their anchor
scan (input: "a12")
Test Configuration
MUST_ERROR