Skip to content

Simplify: Move `wantEtaExpansion` before expensive `do_eta_expand` check

Sebastian Graf requested to merge wip/cheaper-eta into master

There is no need to run arity analysis and what not if we are not in a Simplifier phase that eta-expands or if we don't want to eta-expand the expression in the first place.

Purely a refactoring with the goal of improving compiler perf.

Merge request reports