diff options
| author | Björn-Egil Dahlberg <[email protected]> | 2014-01-16 16:19:45 +0100 |
|---|---|---|
| committer | Björn-Egil Dahlberg <[email protected]> | 2014-01-29 11:08:48 +0100 |
| commit | 23e728cd0f68de11feca27358bedb0a6b71e4715 (patch) | |
| tree | fc9ff1529c5aab6c6c4e3aba487460384c36e375 /lib/dialyzer/src/dialyzer_dep.erl | |
| parent | f95c907a0fda5d185c895bfb43cd2a76e46b7e81 (diff) | |
| download | otp-23e728cd0f68de11feca27358bedb0a6b71e4715.tar.gz otp-23e728cd0f68de11feca27358bedb0a6b71e4715.tar.bz2 otp-23e728cd0f68de11feca27358bedb0a6b71e4715.zip | |
dialyzer: Reflect map_pair core changes in dialyzer
Diffstat (limited to 'lib/dialyzer/src/dialyzer_dep.erl')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_dep.erl | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/lib/dialyzer/src/dialyzer_dep.erl b/lib/dialyzer/src/dialyzer_dep.erl index 12833b49c7..a81ea1a98b 100644 --- a/lib/dialyzer/src/dialyzer_dep.erl +++ b/lib/dialyzer/src/dialyzer_dep.erl @@ -186,13 +186,10 @@ traverse(Tree, Out, State, CurrentFun) -> Args = cerl:map_es(Tree), {List, State1} = traverse_list(Args, Out, State, CurrentFun), {merge_outs(List), State1}; - map_pair_assoc -> - Args = cerl:map_pair_assoc_es(Tree), - {List, State1} = traverse_list(Args, Out, State, CurrentFun), - {merge_outs(List), State1}; - map_pair_exact -> - Args = cerl:map_pair_exact_es(Tree), - {List, State1} = traverse_list(Args, Out, State, CurrentFun), + map_pair -> + Key = cerl:map_pair_key(Tree), + Val = cerl:map_pair_val(Tree), + {List, State1} = traverse_list([Key,Val], Out, State, CurrentFun), {merge_outs(List), State1}; values -> traverse_list(cerl:values_es(Tree), Out, State, CurrentFun); |