aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/src
diff options
context:
space:
mode:
authorKostis Sagonas <[email protected]>2013-02-19 11:17:02 +0100
committerKostis Sagonas <[email protected]>2013-02-19 11:17:02 +0100
commit1bd494fd3c8dc8556a957ccdacbe6063a9036b36 (patch)
tree27558e06d90da3f41e0e07401d2bdb408299d547 /lib/dialyzer/src
parente5be124734e45633df4d0dd040c683551f6ef365 (diff)
downloadotp-1bd494fd3c8dc8556a957ccdacbe6063a9036b36.tar.gz
otp-1bd494fd3c8dc8556a957ccdacbe6063a9036b36.tar.bz2
otp-1bd494fd3c8dc8556a957ccdacbe6063a9036b36.zip
Code simplification
Diffstat (limited to 'lib/dialyzer/src')
-rw-r--r--lib/dialyzer/src/dialyzer_typesig.erl3
1 files changed, 1 insertions, 2 deletions
diff --git a/lib/dialyzer/src/dialyzer_typesig.erl b/lib/dialyzer/src/dialyzer_typesig.erl
index 0df003a035..a0bdfccbc0 100644
--- a/lib/dialyzer/src/dialyzer_typesig.erl
+++ b/lib/dialyzer/src/dialyzer_typesig.erl
@@ -1543,12 +1543,11 @@ get_bif_constr({erlang, '==', 2}, Dst, [Arg1, Arg2] = Args, _State) ->
mk_constraint(Arg1, sub, ArgV1),
mk_constraint(Arg2, sub, ArgV2)]);
get_bif_constr({erlang, element, 2} = _BIF, Dst, Args,
- #state{cs = Constrs} = State) ->
+ #state{cs = Constrs, opaques = Opaques}) ->
GenType = erl_bif_types:type(erlang, element, 2),
case t_is_none(GenType) of
true -> ?debug("Bif: ~w failed\n", [_BIF]), throw(error);
false ->
- Opaques = State#state.opaques,
Fun = fun(Map) ->
[I, T] = ATs = lookup_type_list(Args, Map),
ATs2 = case lists:member(T, Opaques) of