Skip to content

Optimize disjoint function argument checks#15637

Merged
josevalim merged 2 commits into
elixir-lang:mainfrom
preciz:optimize-function-type-disjoint-checks
Jul 19, 2026
Merged

Optimize disjoint function argument checks#15637
josevalim merged 2 commits into
elixir-lang:mainfrom
preciz:optimize-function-type-disjoint-checks

Conversation

@preciz

@preciz preciz commented Jul 19, 2026

Copy link
Copy Markdown
Contributor

Assisted-by: Codex:GPT-5.6 Sol

Avoid allocating a zipped list before checking whether function domains are disjoint.

Representative multi-clause type analysis runs 20-28% faster.

Assisted-by: Codex:GPT-5.6 Sol

Avoid allocating a zipped list before checking whether function domains are disjoint.

Representative multi-clause type analysis runs 20-28% faster.
Comment thread lib/elixir/lib/module/types/descr.ex Outdated
@josevalim
josevalim merged commit e25f520 into elixir-lang:main Jul 19, 2026
11 of 15 checks passed
@josevalim

Copy link
Copy Markdown
Member

💚 💙 💜 💛 ❤️

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

2 participants