diff options
| author | Alan Somers <asomers@gmail.com> | 2018-11-28 10:47:12 -0700 |
|---|---|---|
| committer | Alan Somers <asomers@gmail.com> | 2018-11-28 10:47:12 -0700 |
| commit | cdf730ca3cdc5ce7dfb284986d39398ac23187b2 (patch) | |
| tree | e4110799ae4eb5e14dd1881051288dafa624e885 /ci | |
| parent | 3609e6f725e3fe6d830d78bc2d2b36202ea5d790 (diff) | |
| download | nix-cdf730ca3cdc5ce7dfb284986d39398ac23187b2.zip | |
Prefer `map(drop)` to `map(|_| ())`
I previously advocated for the latter syntax on stylistic grounds. But
it generates less efficient code, because it creates a new lambda
function for each usage. The optimizer does not combine them. This
change saves about 6KB of code.
Diffstat (limited to 'ci')
0 files changed, 0 insertions, 0 deletions