diff options
| author | Hans Bolinder <[email protected]> | 2016-12-24 17:24:05 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2017-01-11 09:34:59 +0100 |
| commit | 66d387c039156989a6ea834033888ac50f1efc1e (patch) | |
| tree | 9d432a120af6f38ff44a7107aed9f9304d0ba2be /lib/dialyzer/src/dialyzer_typesig.erl | |
| parent | 8786ac9ef56e34c6c2910320d2b291452853b034 (diff) | |
| download | otp-66d387c039156989a6ea834033888ac50f1efc1e.tar.gz otp-66d387c039156989a6ea834033888ac50f1efc1e.tar.bz2 otp-66d387c039156989a6ea834033888ac50f1efc1e.zip | |
dialyzer: Use maps instaed of dict
Diffstat (limited to 'lib/dialyzer/src/dialyzer_typesig.erl')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_typesig.erl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/dialyzer/src/dialyzer_typesig.erl b/lib/dialyzer/src/dialyzer_typesig.erl index 075b6ee165..a9ebac6c8b 100644 --- a/lib/dialyzer/src/dialyzer_typesig.erl +++ b/lib/dialyzer/src/dialyzer_typesig.erl @@ -103,7 +103,7 @@ -type typesig_funmap() :: #{type_var() => type_var()}. --type prop_types() :: dict:dict(label(), types()). +-type prop_types() :: dict:dict(label(), erl_types:erl_type()). -record(state, {callgraph :: dialyzer_callgraph:callgraph() | 'undefined', @@ -120,7 +120,7 @@ plt :: dialyzer_plt:plt() | 'undefined', prop_types = dict:new() :: prop_types(), - records = dict:new() :: types(), + records = maps:new() :: types(), scc = [] :: ordsets:ordset(type_var()), mfas :: [mfa()], solvers = [] :: [solver()] |