Repository navigation

yeast: Split input/output ASTs - #22875

Open

tausbn wants to merge 8 commits into

mainfrom

tausbn/yeast-split-input-output-arenas

Open

yeast: Split input/output ASTs#22875
tausbn wants to merge 8 commits into
mainfrom
tausbn/yeast-split-input-output-arenas

Commits on Oct 22, 2026
- yeast: Distinguish between input and output IDs
  tausbn
  committed
  bb6aaf6
- yeast: Split up IDs during lowering
  tausbn
  committed
  20ce5b8
- yeast: Split ASTs in `Transform`
  tausbn
  committed
  c883381
- yeast: Update AST dumper and tests
  tausbn
  committed
  9498f0d
- Unified: Update rewrite rules to use split AST
  tausbn
  committed
  01f4cfe
- Unified: Simplify using auto-translating raw captures
  tausbn
  committed
  93059f9
- yeast: Reject `@`-captures of rule roots
  tausbn
  committed
  89466f9
- yeast: Cache input schemas
  tausbn
  committed
  6974644