Using lazy BDD structure for functions - #14799

Closed

gldubc wants to merge 8 commits into

elixir-lang:mainfrom

gldubc:lazy-fun-bdd

Commits on Sep 29, 2025

Unify fun BDD ops with the rest
gldubc
committed
760552c
Add lazy bdd for funs. Solves spitfire perf issue.
gldubc
committed
a883888

Commits on Sep 30, 2025

Do not require ordering when matching statics and dynamics
josevalim
committed
580fb13
Fix fun_top?
josevalim
committed
8cd653e
Eliminate fun unions
josevalim
committed
d57266b
Remove fun_eliminate_intersections
josevalim
committed
4a29c67
Refactor bdd creation
gldubc
committed
a58f713
Prepare for lazy BDD switch
gldubc
committed
3ab4ee1