diff options
author | Hans Bolinder <[email protected]> | 2011-12-04 08:51:34 +0100 |
---|---|---|
committer | Hans Bolinder <[email protected]> | 2011-12-08 12:44:23 +0100 |
commit | 202a2938d8ad39f05f4a7b5d68dab8a3c37eff31 (patch) | |
tree | 1c986cee0ea293857bc3e95d678099247c03745e /make/save_args | |
parent | ac3cbe8bee6b826004c02a1d21f8093899716b33 (diff) | |
download | otp-202a2938d8ad39f05f4a7b5d68dab8a3c37eff31.tar.gz otp-202a2938d8ad39f05f4a7b5d68dab8a3c37eff31.tar.bz2 otp-202a2938d8ad39f05f4a7b5d68dab8a3c37eff31.zip |
Optimize erl_types:t_unify()
Using a list rather than a dict() for unified variables saves quite
some time. In particular Dialyzer is a heavy user of t_unify().
Diffstat (limited to 'make/save_args')
0 files changed, 0 insertions, 0 deletions