diff options
| author | Hans Bolinder <[email protected]> | 2017-01-12 11:44:39 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2017-01-12 11:44:39 +0100 |
| commit | 568e6b5faebf85fb35119858fcb4824f46a4266c (patch) | |
| tree | 7bfb4c71f0a470815ab54722f41b573899ab80ff /lib/dialyzer/src/dialyzer_gui_wx.erl | |
| parent | ad8229b57c8dcd8ff129398b53e3b81849daecc7 (diff) | |
| parent | 7cbac17f33c6f3dc2d8a0224eec8d378f00c560f (diff) | |
| download | otp-568e6b5faebf85fb35119858fcb4824f46a4266c.tar.gz otp-568e6b5faebf85fb35119858fcb4824f46a4266c.tar.bz2 otp-568e6b5faebf85fb35119858fcb4824f46a4266c.zip | |
Merge branch 'hasse/dialyzer/memory_opt/OTP-14126' into maint
* hasse/dialyzer/memory_opt/OTP-14126:
dialyzer: Compact 'file' annotations in Core code
dialyzer: Try to reduce memory usage
dialyzer: Use less memory when translating contracts
dialyzer: Use maps instaed of dict
dialyzer: Use maps instead of dict for module contracts map
dialyzer: Compress a few more ETS tables
dialyzer: Optimize memory consumption
dialyzer: Reduce memory consumption during 'remote' phase
dialyzer: Update code for finding parallelism
compiler: Do not spawn process when dialyzing
dialyzer: Reduce ETS usage during the typesig phase
dialyzer: Optimize graph condensation
dialyzer: Do not send full PLTs as messages
Diffstat (limited to 'lib/dialyzer/src/dialyzer_gui_wx.erl')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_gui_wx.erl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/dialyzer/src/dialyzer_gui_wx.erl b/lib/dialyzer/src/dialyzer_gui_wx.erl index 4caf64d007..1701aff2f2 100644 --- a/lib/dialyzer/src/dialyzer_gui_wx.erl +++ b/lib/dialyzer/src/dialyzer_gui_wx.erl @@ -505,8 +505,9 @@ gui_loop(#gui_state{backend_pid = BackendPid, doc_plt = DocPlt, end, ExplanationPid = spawn_link(Fun), gui_loop(State#gui_state{expl_pid = ExplanationPid}); - {BackendPid, done, _NewPlt, NewDocPlt} -> + {BackendPid, done, NewMiniPlt, NewDocPlt} -> message(State, "Analysis done"), + dialyzer_plt:delete(NewMiniPlt), config_gui_stop(State), gui_loop(State#gui_state{doc_plt = NewDocPlt}); {'EXIT', BackendPid, {error, Reason}} -> |