diff options
| author | Kostis Sagonas <[email protected]> | 2012-03-04 16:16:52 +0100 |
|---|---|---|
| committer | Henrik Nord <[email protected]> | 2012-05-21 15:31:21 +0200 |
| commit | ec142ae5c0696bb7893a67ff6356c7da3369a7fc (patch) | |
| tree | b257f68808dc65313ae8a7b57c0ce9fa82ff3938 /lib/dialyzer/src | |
| parent | 9f30b73af775daeca99e8094b08ca4e5d9b6cd82 (diff) | |
| download | otp-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.erl | 5 | ||||
| -rw-r--r-- | lib/dialyzer/src/dialyzer_worker.erl | 5 |
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), |