Hand back the term when an optimization pass changes nothing - #8620

Merged

cristianoc merged 10 commits into

lambda/as-in-the-astfrom

lambda/passes-share-terms

Sep 5, 2026

Commits on Sep 5, 2026

Rewrite the optimization passes through the sharing traversal

cristianoc
and
claude
committed
71978ef
Skip the exit rewrite when a term has no static exits

cristianoc
and
claude
committed
1fdeed8
Rebuild a binding in place when flatten would not regroup it

cristianoc
and
claude
committed
5b625df
Hand back the term when simplify_alias rewrites nothing

cristianoc
and
claude
committed
ec94759
Hand back the term when simplify_lets rewrites nothing

cristianoc
and
claude
committed
032c942
Hand back a recursive group nothing was extracted from

cristianoc
and
claude
committed
9f96562
Decide up front whether a term has any static exit

cristianoc
and
claude
committed
393147c
Read back the sharing changes for clarity

cristianoc
and
claude
committed
b7f18db
Name each IR dump after the pass that produced it

cristianoc
and
claude
committed
15052b0
Say how to create a stacked PR

cristianoc
and
claude
committed
640a01b