Builtin Pattern Matching - #7852

Open

SeungheonOh wants to merge 13 commits into

sho/builtinMatching

Commits on Jul 17, 2026

Commits on Jul 28, 2026

feat: add builtin list-prefix patterns
SeungheonOh
committed
3406359

Commits on Jul 29, 2026

refactor: simplify builtin match patterns
SeungheonOh
committed
b71e111

Commits on Jul 30, 2026

fix CI
SeungheonOh
committed
03d3702
Use associated pattern type for builtin matching
SeungheonOh
committed
b3d23ac
fix ledger api test
SeungheonOh
committed
fe45576

Commits on Jul 31, 2026

cleanup
SeungheonOh
committed
387bb76

Commits on Aug 4, 2026

bench: calibrate Match costs
SeungheonOh
committed
6433f86
refactor: cost Match with four calibrated quanta
SeungheonOh
committed
20d7f06