diff options
author | José Valim <[email protected]> | 2013-05-08 16:37:28 -0600 |
---|---|---|
committer | Fredrik Gustafsson <[email protected]> | 2013-05-28 14:33:49 +0200 |
commit | 641e18ccac9e5f346dcac51f65385f8656bcdce1 (patch) | |
tree | 20a36c04475df3d636d3a6b5582db3b4098ad091 /erts | |
parent | 80c02173c9fc1d76ac1b404a05e2706817a4c308 (diff) | |
download | otp-641e18ccac9e5f346dcac51f65385f8656bcdce1.tar.gz otp-641e18ccac9e5f346dcac51f65385f8656bcdce1.tar.bz2 otp-641e18ccac9e5f346dcac51f65385f8656bcdce1.zip |
Improve erl_lint performance
The default_types() in erl_lint returned a dictionary
with all default types. However, calculating this dict
was expensive and we actually didn't use the default
values in this dictionary.
This patch replaces the dictionary use for one function
that checks if the type is a default type or not,
and remove the bits that checked explicitly for those
default types when iterating the dictionary.
Diffstat (limited to 'erts')
0 files changed, 0 insertions, 0 deletions