diff options
author | Björn-Egil Dahlberg <[email protected]> | 2014-01-17 15:33:29 +0100 |
---|---|---|
committer | Björn-Egil Dahlberg <[email protected]> | 2014-01-29 11:08:49 +0100 |
commit | b7b79aaf0453995ef2145647c5c50acc5fae811b (patch) | |
tree | 6201cc39ae2c5b9906f5d5942dc56a11e6b5bc54 /lib/dialyzer/src/dialyzer_dataflow.erl | |
parent | 23e728cd0f68de11feca27358bedb0a6b71e4715 (diff) | |
download | otp-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.erl | 22 |
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} = |