diff options
author | Hans Bolinder <[email protected]> | 2016-12-06 14:02:12 +0100 |
---|---|---|
committer | Hans Bolinder <[email protected]> | 2017-01-11 09:34:58 +0100 |
commit | 57e21970a394193e929795629fe5c3cd15310660 (patch) | |
tree | b8c159a8157b7dd5996a190b8e3b27a3e70f04de /lib/typer | |
parent | 605a4627a7383829559a1595457b860c1317da48 (diff) | |
download | otp-57e21970a394193e929795629fe5c3cd15310660.tar.gz otp-57e21970a394193e929795629fe5c3cd15310660.tar.bz2 otp-57e21970a394193e929795629fe5c3cd15310660.zip |
dialyzer: Do not send full PLTs as messages
The mini PLT is extended to hold all data of the full PLT, and the
full PLT is restored when needed (for storing the PLT on file).
Diffstat (limited to 'lib/typer')
-rw-r--r-- | lib/typer/src/typer.erl | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/lib/typer/src/typer.erl b/lib/typer/src/typer.erl index 5c82750a21..563b1bbcb5 100644 --- a/lib/typer/src/typer.erl +++ b/lib/typer/src/typer.erl @@ -172,8 +172,10 @@ get_type_info(#analysis{callgraph = CallGraph, StrippedCallGraph = remove_external(CallGraph, TrustPLT), %% io:format("--- Analyzing callgraph... "), try - NewPlt = dialyzer_succ_typings:analyze_callgraph(StrippedCallGraph, - TrustPLT, CodeServer), + NewMiniPlt = dialyzer_succ_typings:analyze_callgraph(StrippedCallGraph, + TrustPLT, + CodeServer), + NewPlt = dialyzer_plt:restore_full_plt(NewMiniPlt), Analysis#analysis{callgraph = StrippedCallGraph, trust_plt = NewPlt} catch error:What -> |