aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/src/dialyzer_dataflow.erl
diff options
context:
space:
mode:
authorBjörn-Egil Dahlberg <[email protected]>2014-01-17 15:33:29 +0100
committerBjörn-Egil Dahlberg <[email protected]>2014-01-29 11:08:49 +0100
commitb7b79aaf0453995ef2145647c5c50acc5fae811b (patch)
tree6201cc39ae2c5b9906f5d5942dc56a11e6b5bc54 /lib/dialyzer/src/dialyzer_dataflow.erl
parent23e728cd0f68de11feca27358bedb0a6b71e4715 (diff)
downloadotp-b7b79aaf0453995ef2145647c5c50acc5fae811b.tar.gz
otp-b7b79aaf0453995ef2145647c5c50acc5fae811b.tar.bz2
otp-b7b79aaf0453995ef2145647c5c50acc5fae811b.zip
dialyzer: Remove dead code
Diffstat (limited to 'lib/dialyzer/src/dialyzer_dataflow.erl')
-rw-r--r--lib/dialyzer/src/dialyzer_dataflow.erl22
1 files changed, 0 insertions, 22 deletions
diff --git a/lib/dialyzer/src/dialyzer_dataflow.erl b/lib/dialyzer/src/dialyzer_dataflow.erl
index 239df1b8bd..33fa107019 100644
--- a/lib/dialyzer/src/dialyzer_dataflow.erl
+++ b/lib/dialyzer/src/dialyzer_dataflow.erl
@@ -1453,28 +1453,6 @@ bind_pat_vars([Pat|PatLeft], [Type|TypeLeft], Acc, Map, State, Rev) ->
end;
map ->
{Map, t_map([])};
-% Pairs = [ cerl:map_pair_es(Pair) || Pair <- cerl:map_es(Pat) ],
-% MapType = t_inf(t_map([]), Type),
-% case t_is_none(MapType) of
-% true ->
-% bind_opaque_pats(MapType, Type, Pat, Map, State, Rev);
-% false ->
-% MapJ = join_maps_begin(Map),
-% Results = case Rev of
-% true ->
-% [bind_pat_vars_reverse(Pair, [t_any(),t_any()], [], MapJ, State) || Pair <- Pairs];
-% false ->
-% [bind_pat_vars(Pair, [t_any(),t_any()], [], MapJ, State) || Pair <- Pairs]
-% end,
-% case [M || {M, _} <- Results, M =/= error] of
-% [] -> bind_error([Pat], MapType, t_none(), bind);
-% Maps ->
-% Map1 = join_maps_end(Maps, MapJ),
-% _PairTypes = [{Ktype,Vtype} || {M, [Ktype,Vtype]} <- Results, M =/= error],
-% % add t_sup
-% {Map1, t_map([])}
-% end
-% end;
tuple ->
Es = cerl:tuple_es(Pat),
{TypedRecord, Prototype} =