diff options
| author | Stavros Aronis <[email protected]> | 2012-02-20 00:58:51 +0100 |
|---|---|---|
| committer | Henrik Nord <[email protected]> | 2012-05-21 15:31:18 +0200 |
| commit | 6b841074f3e8989ca8349d8298f6237c150bc2c8 (patch) | |
| tree | e60d246efd50c3de3696d0b39cef662d5eefb710 /lib/dialyzer/src/dialyzer_behaviours.erl | |
| parent | 4f613cdd3f570864768a577ba6e62079bc3fdfe2 (diff) | |
| download | otp-6b841074f3e8989ca8349d8298f6237c150bc2c8.tar.gz otp-6b841074f3e8989ca8349d8298f6237c150bc2c8.tar.bz2 otp-6b841074f3e8989ca8349d8298f6237c150bc2c8.zip | |
Keep mini plt for warnings pass
Diffstat (limited to 'lib/dialyzer/src/dialyzer_behaviours.erl')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_behaviours.erl | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/lib/dialyzer/src/dialyzer_behaviours.erl b/lib/dialyzer/src/dialyzer_behaviours.erl index 127e906135..f86cc3d3d6 100644 --- a/lib/dialyzer/src/dialyzer_behaviours.erl +++ b/lib/dialyzer/src/dialyzer_behaviours.erl @@ -92,8 +92,9 @@ get_warnings(Module, [Behaviour|Rest], State, Acc) -> check_behaviour(Module, Behaviour, #state{plt = Plt} = State, Acc) -> case dialyzer_plt:lookup_callbacks(Plt, Behaviour) of - [] -> [{callback_info_missing, [Behaviour]}|Acc]; - Callbacks -> check_all_callbacks(Module, Behaviour, Callbacks, State, Acc) + none -> [{callback_info_missing, [Behaviour]}|Acc]; + {value, Callbacks} -> + check_all_callbacks(Module, Behaviour, Callbacks, State, Acc) end. check_all_callbacks(_Module, _Behaviour, [], _State, Acc) -> |