From 23e728cd0f68de11feca27358bedb0a6b71e4715 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Bj=C3=B6rn-Egil=20Dahlberg?= Date: Thu, 16 Jan 2014 16:19:45 +0100 Subject: dialyzer: Reflect map_pair core changes in dialyzer --- lib/dialyzer/src/dialyzer_dep.erl | 11 ++++------- 1 file changed, 4 insertions(+), 7 deletions(-) (limited to 'lib/dialyzer/src/dialyzer_dep.erl') 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); -- cgit v1.2.3