Repository navigation

XL-2: an expression containing a match/if lowers to itself, not to the block (walker search + primary reducer) - #12436

Merged

gunbai-bot[bot] merged 9 commits into

mainfrom

bright-boar-848/control-form-whole-expression

Sep 29, 2026

Commits on Sep 27, 2026
- WIP: a control form is taken only when it is the expression
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  7fba2a2
- WIP: an operator operand the fold leaves unlowered is read by the one value reader
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  7bcafca
- A primary whose capture the fold already lowered is that node; the operand-reader detour is reverted
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  a088c93
- Enclosing-expression pinned drops flip to conservation controls; RFM row climbs
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  784e3ab
- Witness: an expression containing a block lowers to itself over every part (producer boundary)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  69e407f
- Structural witness covers both routes: the one value reader and the body walker
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  7e68ca6
- Label the value-reader call claim as a control; share the four producers
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  364e33c
- Anchor the share rows away from #12383's append point
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  5114e2c
Commits on Sep 28, 2026
- Merge remote-tracking branch 'origin/main' into bright-boar-848/control-form-whole-expression
  gunbc-ci-auto-heal
  committed
  0b74ba3