diff options
Diffstat (limited to 'lib/dialyzer/src/dialyzer_typesig.erl')
-rw-r--r-- | lib/dialyzer/src/dialyzer_typesig.erl | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/lib/dialyzer/src/dialyzer_typesig.erl b/lib/dialyzer/src/dialyzer_typesig.erl index 4e18e9c7d2..b4b3d5a092 100644 --- a/lib/dialyzer/src/dialyzer_typesig.erl +++ b/lib/dialyzer/src/dialyzer_typesig.erl @@ -474,31 +474,6 @@ traverse(Tree, DefinedVars, State) -> end; map -> {State, t_map([])}; -% Pairs = cerl:map_es(Tree), -% {State1, EVars} = traverse_list(Pairs, DefinedVars, State), -% case cerl:is_literal(cerl:fold_literal(Tree)) of -% true -> -% %% We do not need to do anything more here. -% {State, t_map([])}; -% false -> -% Fun = fun(Var, AccState) -> -% case t_has_var(Var) of -% true -> -% {AccState1, NewVar} = state__mk_var(AccState), -% {NewVar, -% state__store_conj(Var, eq, NewVar, AccState1)}; -% false -> -% {Var, AccState} -% end -% end, -% {_NewEvars, State2} = lists:mapfoldl(Fun, State1, EVars), -% {State2, t_map([])} -% end; -% map_pair_assoc -> -% [K,V] = cerl:map_pair_assoc_es(Tree), -% {State1,_} = traverse(K,DefinedVars,State), -% {State2,_} = traverse(V,DefinedVars,State), -% {_,State2}; values -> %% We can get into trouble when unifying products that have the %% same element appearing several times. Handle these cases by |