diff options
author | Stavros Aronis <[email protected]> | 2012-02-09 14:57:06 +0100 |
---|---|---|
committer | Henrik Nord <[email protected]> | 2012-05-21 15:31:16 +0200 |
commit | f912241953ecece658f429ffd09f77e2e49ffa4c (patch) | |
tree | cede8f68da8715e7ce374166be60eb79d10e8adc /lib/dialyzer/src/dialyzer_succ_typings.erl | |
parent | 8a3ea1fa45cac31cdc1241a6ea1e1a0d857c1429 (diff) | |
download | otp-f912241953ecece658f429ffd09f77e2e49ffa4c.tar.gz otp-f912241953ecece658f429ffd09f77e2e49ffa4c.tar.bz2 otp-f912241953ecece658f429ffd09f77e2e49ffa4c.zip |
Success typing analysis uses ETS tables for necessary plt info
Only the info and contracts dicts were neccessary for success typing
inference and these have been converted to ETS tables.
Diffstat (limited to 'lib/dialyzer/src/dialyzer_succ_typings.erl')
-rw-r--r-- | lib/dialyzer/src/dialyzer_succ_typings.erl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/dialyzer/src/dialyzer_succ_typings.erl b/lib/dialyzer/src/dialyzer_succ_typings.erl index 2c2c39951c..9e6702b484 100644 --- a/lib/dialyzer/src/dialyzer_succ_typings.erl +++ b/lib/dialyzer/src/dialyzer_succ_typings.erl @@ -75,10 +75,10 @@ analyze_callgraph(Callgraph, Plt, Codeserver) -> dialyzer_plt:plt(). analyze_callgraph(Callgraph, Plt, Codeserver, Parent) -> - State = #st{callgraph = Callgraph, plt = Plt, + State = #st{callgraph = Callgraph, plt = dialyzer_plt:get_mini_plt(Plt), codeserver = Codeserver, parent = Parent}, NewState = get_refined_success_typings(State), - NewState#st.plt. + dialyzer_plt:restore_full_plt(NewState#st.plt, Plt). %%-------------------------------------------------------------------- |