diff options
| author | Stavros Aronis <[email protected]> | 2011-12-22 19:50:13 +0200 |
|---|---|---|
| committer | Henrik Nord <[email protected]> | 2012-05-21 15:31:16 +0200 |
| commit | 8a3ea1fa45cac31cdc1241a6ea1e1a0d857c1429 (patch) | |
| tree | d45d980b26da73eb845fa5de9f5bc98406779f9a /lib/dialyzer/src/dialyzer_plt.erl | |
| parent | 70a98e31f56ef96383a25c71507c39875979f86c (diff) | |
| download | otp-8a3ea1fa45cac31cdc1241a6ea1e1a0d857c1429.tar.gz otp-8a3ea1fa45cac31cdc1241a6ea1e1a0d857c1429.tar.bz2 otp-8a3ea1fa45cac31cdc1241a6ea1e1a0d857c1429.zip | |
Convert remaining codeserver fields to ETS tables
Diffstat (limited to 'lib/dialyzer/src/dialyzer_plt.erl')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_plt.erl | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/lib/dialyzer/src/dialyzer_plt.erl b/lib/dialyzer/src/dialyzer_plt.erl index c973762df1..01d777d138 100644 --- a/lib/dialyzer/src/dialyzer_plt.erl +++ b/lib/dialyzer/src/dialyzer_plt.erl @@ -138,12 +138,7 @@ insert_contract_list(#plt{contracts = Contracts} = PLT, List) -> -spec insert_callbacks(plt(), dialyzer_codeserver:codeserver()) -> plt(). insert_callbacks(#plt{callbacks = Callbacks} = Plt, Codeserver) -> - FunPreferNew = fun(_Key, _Val1, Val2) -> Val2 end, - FunDictMerger = - fun(_Key, Value, AccIn) -> dict:merge(FunPreferNew, Value, AccIn) end, - MergedCallbacks = dict:fold(FunDictMerger, dict:new(), - dialyzer_codeserver:get_callbacks(Codeserver)), - List = dict:to_list(MergedCallbacks), + List = dialyzer_codeserver:get_callbacks(Codeserver), Plt#plt{callbacks = table_insert_list(Callbacks, List)}. -spec lookup_contract(plt(), mfa_patt()) -> 'none' | {'value', #contract{}}. |