diff options
| author | Stavros Aronis <[email protected]> | 2013-03-26 09:22:53 +0100 |
|---|---|---|
| committer | Stavros Aronis <[email protected]> | 2013-04-08 11:26:59 +0200 |
| commit | 071bffb32b861a6cf3f2d715d7c92eeda4dfcb16 (patch) | |
| tree | abd9d5570929003d3895f81993fbb38d1350ba7d | |
| parent | 0450a40c50ad319f67f4241f0aa5136f219f5600 (diff) | |
| download | otp-071bffb32b861a6cf3f2d715d7c92eeda4dfcb16.tar.gz otp-071bffb32b861a6cf3f2d715d7c92eeda4dfcb16.tar.bz2 otp-071bffb32b861a6cf3f2d715d7c92eeda4dfcb16.zip | |
Minor refactorings
| -rw-r--r-- | lib/dialyzer/src/dialyzer_typesig.erl | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/lib/dialyzer/src/dialyzer_typesig.erl b/lib/dialyzer/src/dialyzer_typesig.erl index af282c689d..a418a11e65 100644 --- a/lib/dialyzer/src/dialyzer_typesig.erl +++ b/lib/dialyzer/src/dialyzer_typesig.erl @@ -1787,8 +1787,9 @@ minimize_state(#state{ opaques = Opaques, solvers = Solvers }) -> - ETSCMap = ets:new(cmap,[{read_concurrency, true}]), - ETSPropTypes = ets:new(prop_types,[{read_concurrency, true}]), + Opts = [{read_concurrency, true}], + ETSCMap = ets:new(cmap, Opts), + ETSPropTypes = ets:new(prop_types, Opts), true = ets:insert(ETSCMap, dict:to_list(CMap)), true = ets:insert(ETSPropTypes, dict:to_list(PropTypes)), #state @@ -2128,11 +2129,11 @@ restore_local_map(#v2_state{constr_data = ConData}, Id, Map0) -> {ok, failed} -> Map0; {ok, {[],_}} -> Map0; {ok, {Part0,U}} -> - Part = [{K,V} || {K,V} <- Part0, not lists:member(K, U)], + Part = [KV || {K,_V} = KV <- Part0, not lists:member(K, U)], ?debug("restore local map Id=~w U=~w\n", [Id, U]), pp_map("Part", dict:from_list(Part)), pp_map("Map0", Map0), - Map = lists:foldl(fun({K,V}, D) -> dict:store(K, V, D)end, Map0, Part), + Map = lists:foldl(fun({K,V}, D) -> dict:store(K, V, D) end, Map0, Part), pp_map("Map", Map), Map end. |