aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/src/dialyzer_dataflow.erl
diff options
context:
space:
mode:
Diffstat (limited to 'lib/dialyzer/src/dialyzer_dataflow.erl')
-rw-r--r--lib/dialyzer/src/dialyzer_dataflow.erl18
1 files changed, 6 insertions, 12 deletions
diff --git a/lib/dialyzer/src/dialyzer_dataflow.erl b/lib/dialyzer/src/dialyzer_dataflow.erl
index 4d614320c2..239df1b8bd 100644
--- a/lib/dialyzer/src/dialyzer_dataflow.erl
+++ b/lib/dialyzer/src/dialyzer_dataflow.erl
@@ -309,10 +309,8 @@ traverse(Tree, Map, State) ->
handle_tuple(Tree, Map, State);
map ->
handle_map(Tree, Map, State);
- map_pair_assoc ->
- handle_map_pair_assoc(Tree, Map, State);
- map_pair_exact ->
- handle_map_pair_exact(Tree, Map, State);
+ map_pair ->
+ handle_map_pair(Tree, Map, State);
values ->
Elements = cerl:values_es(Tree),
{State1, Map1, EsType} = traverse_list(Elements, Map, State),
@@ -1068,14 +1066,10 @@ handle_map(Tree,Map,State) ->
{State1, Map1, TypePairs} = traverse_list(Pairs,Map,State),
{State1, Map1, t_map(TypePairs)}.
-handle_map_pair_assoc(Tree,Map,State) ->
- Elements = cerl:map_pair_assoc_es(Tree),
- {State1, Map1, [K,V]} = traverse_list(Elements,Map,State),
- {State1, Map1, {K,V}}.
-
-handle_map_pair_exact(Tree,Map,State) ->
- Elements = cerl:map_pair_exact_es(Tree),
- {State1, Map1, [K,V]} = traverse_list(Elements,Map,State),
+handle_map_pair(Tree,Map,State) ->
+ Key = cerl:map_pair_key(Tree),
+ Val = cerl:map_pair_val(Tree),
+ {State1, Map1, [K,V]} = traverse_list([Key,Val],Map,State),
{State1, Map1, {K,V}}.
%%----------------------------------------