diff options
| author | Stavros Aronis <[email protected]> | 2012-02-20 15:51:54 +0100 |
|---|---|---|
| committer | Henrik Nord <[email protected]> | 2012-05-21 15:31:19 +0200 |
| commit | c8f8c90f908ae06a3b2114b77447699b7d690496 (patch) | |
| tree | 2b0f7680b13b6e42cbb5ee467c769cb6a1713ce5 | |
| parent | 6b841074f3e8989ca8349d8298f6237c150bc2c8 (diff) | |
| download | otp-c8f8c90f908ae06a3b2114b77447699b7d690496.tar.gz otp-c8f8c90f908ae06a3b2114b77447699b7d690496.tar.bz2 otp-c8f8c90f908ae06a3b2114b77447699b7d690496.zip | |
Fix a spec in plt
| -rw-r--r-- | lib/dialyzer/src/dialyzer_plt.erl | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lib/dialyzer/src/dialyzer_plt.erl b/lib/dialyzer/src/dialyzer_plt.erl index 35bee913c2..5f64099210 100644 --- a/lib/dialyzer/src/dialyzer_plt.erl +++ b/lib/dialyzer/src/dialyzer_plt.erl @@ -158,7 +158,9 @@ lookup_contract(#mini_plt{contracts = ETSContracts}, ets_table_lookup(ETSContracts, MFA). -spec lookup_callbacks(plt(), module()) -> - [{mfa(), {{Filename::string(), Line::pos_integer()}, #contract{}}}]. + 'none' | {'value', [{mfa(), {{Filename::string(), + Line::pos_integer()}, + #contract{}}}]}. lookup_callbacks(#mini_plt{callbacks = ETSCallbacks}, Mod) when is_atom(Mod) -> ets_table_lookup(ETSCallbacks, Mod). |