diff options
| author | Stavros Aronis <[email protected]> | 2015-10-02 16:18:58 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2015-10-09 11:37:54 +0200 |
| commit | b0ad54fdc41528ddff7c1767403a514a4e0a3f9c (patch) | |
| tree | cc3c5ccd1c0a77b2d94cc317772367c138fe50e7 /lib/dialyzer/src/dialyzer_worker.erl | |
| parent | 3318e2a51b83d1dd4038950f51880ac872076564 (diff) | |
| download | otp-b0ad54fdc41528ddff7c1767403a514a4e0a3f9c.tar.gz otp-b0ad54fdc41528ddff7c1767403a514a4e0a3f9c.tar.bz2 otp-b0ad54fdc41528ddff7c1767403a514a4e0a3f9c.zip | |
Fix errors in dialyzer_{coordinator,worker} specs
Diffstat (limited to 'lib/dialyzer/src/dialyzer_worker.erl')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_worker.erl | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/lib/dialyzer/src/dialyzer_worker.erl b/lib/dialyzer/src/dialyzer_worker.erl index 4be93c75bf..979e3a621d 100644 --- a/lib/dialyzer/src/dialyzer_worker.erl +++ b/lib/dialyzer/src/dialyzer_worker.erl @@ -31,10 +31,11 @@ -type coordinator() :: dialyzer_coordinator:coordinator(). -type init_data() :: dialyzer_coordinator:init_data(). -type result() :: dialyzer_coordinator:result(). +-type job() :: dialyzer_coordinator:job(). -record(state, { mode :: mode(), - job :: mfa_or_funlbl() | file:filename(), + job :: job(), coordinator :: coordinator(), init_data :: init_data(), depends_on = [] :: list() @@ -52,7 +53,7 @@ %%-------------------------------------------------------------------- --spec launch(mode(), [mfa_or_funlbl()], init_data(), coordinator()) -> worker(). +-spec launch(mode(), job(), init_data(), coordinator()) -> worker(). launch(Mode, Job, InitData, Coordinator) -> State = #state{mode = Mode, @@ -174,7 +175,7 @@ collect_warnings(#state{job = Job, init_data = InitData}) -> -type extra() :: label() | 'unused'. --spec sequential(mode(), [mfa_or_funlbl()], init_data(), extra()) -> result(). +-spec sequential(mode(), job(), init_data(), extra()) -> result(). sequential('compile', Job, InitData, Extra) -> case dialyzer_analysis_callgraph:start_compilation(Job, InitData) of |