diff options
| author | Stavros Aronis <[email protected]> | 2011-10-28 18:38:35 +0200 |
|---|---|---|
| committer | Stavros Aronis <[email protected]> | 2011-11-18 14:42:56 +0100 |
| commit | 93aa83a1646e0b8e69dea1d8aad13bb3a9b73de9 (patch) | |
| tree | aad79f91138fc7fd0f603c40f7469a19d9b1fe88 /lib/dialyzer/src/dialyzer_succ_typings.erl | |
| parent | 0472f66e548ff5870b6446ddc91d704c5ff954d1 (diff) | |
| download | otp-93aa83a1646e0b8e69dea1d8aad13bb3a9b73de9.tar.gz otp-93aa83a1646e0b8e69dea1d8aad13bb3a9b73de9.tar.bz2 otp-93aa83a1646e0b8e69dea1d8aad13bb3a9b73de9.zip | |
Collect callback definitions during compilation
Diffstat (limited to 'lib/dialyzer/src/dialyzer_succ_typings.erl')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_succ_typings.erl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/dialyzer/src/dialyzer_succ_typings.erl b/lib/dialyzer/src/dialyzer_succ_typings.erl index dc5a3fed37..5d24e0d0d6 100644 --- a/lib/dialyzer/src/dialyzer_succ_typings.erl +++ b/lib/dialyzer/src/dialyzer_succ_typings.erl @@ -476,7 +476,7 @@ doit(Module) -> {ok, Code} = dialyzer_utils:get_core_from_abstract_code(AbstrCode), {ok, Records} = dialyzer_utils:get_record_and_type_info(AbstrCode), %% contract typing info in dictionary format - {ok, Contracts} = + {ok, Contracts, _Callbacks} = dialyzer_utils:get_spec_info(cerl:concrete(cerl:module_name(Code)), AbstrCode, Records), Sigs0 = get_top_level_signatures(Code, Records, Contracts), |