aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/src
diff options
context:
space:
mode:
authorKostis Sagonas <[email protected]>2012-03-04 16:16:52 +0100
committerHenrik Nord <[email protected]>2012-05-21 15:31:21 +0200
commitec142ae5c0696bb7893a67ff6356c7da3369a7fc (patch)
treeb257f68808dc65313ae8a7b57c0ce9fa82ff3938 /lib/dialyzer/src
parent9f30b73af775daeca99e8094b08ca4e5d9b6cd82 (diff)
downloadotp-ec142ae5c0696bb7893a67ff6356c7da3369a7fc.tar.gz
otp-ec142ae5c0696bb7893a67ff6356c7da3369a7fc.tar.bz2
otp-ec142ae5c0696bb7893a67ff6356c7da3369a7fc.zip
Code simplifications (tidier)
Diffstat (limited to 'lib/dialyzer/src')
-rw-r--r--lib/dialyzer/src/dialyzer_callgraph.erl5
-rw-r--r--lib/dialyzer/src/dialyzer_worker.erl5
2 files changed, 2 insertions, 8 deletions
diff --git a/lib/dialyzer/src/dialyzer_callgraph.erl b/lib/dialyzer/src/dialyzer_callgraph.erl
index cc26d9fdd5..854d67e835 100644
--- a/lib/dialyzer/src/dialyzer_callgraph.erl
+++ b/lib/dialyzer/src/dialyzer_callgraph.erl
@@ -354,10 +354,7 @@ ets_lookup_dict(Key, Table) ->
end.
ets_lookup_set(Key, Table) ->
- case ets:lookup(Table, Key) of
- [] -> false;
- _ -> true
- end.
+ ets:lookup(Table, Key) =/= [].
%%----------------------------------------------------------------------
%% Core code
diff --git a/lib/dialyzer/src/dialyzer_worker.erl b/lib/dialyzer/src/dialyzer_worker.erl
index cc4032d154..b58e662f06 100644
--- a/lib/dialyzer/src/dialyzer_worker.erl
+++ b/lib/dialyzer/src/dialyzer_worker.erl
@@ -107,10 +107,7 @@ loop(running, #state{mode = Mode} = State) when
report_to_coordinator(NotFixpoint, State).
waits_more_success_typings(#state{depends_on = Depends}) ->
- case Depends of
- [] -> false;
- _ -> true
- end.
+ Depends =/= [].
broadcast_done(#state{job = SCC, init_data = InitData}) ->
RequiredBy = dialyzer_succ_typings:find_required_by(SCC, InitData),