diff options
| author | Stavros Aronis <[email protected]> | 2012-02-22 13:04:17 +0100 |
|---|---|---|
| committer | Stavros Aronis <[email protected]> | 2012-02-22 14:13:20 +0100 |
| commit | 06d0fd439347d1364078314b187dd388c5800c62 (patch) | |
| tree | 0c8bf800acb592887f2d2ec1c3c7550267a898e3 /lib/dialyzer/src/dialyzer_typesig.erl | |
| parent | 25f3ba6e96e8164cd71260cc1de28c9a644b125d (diff) | |
| download | otp-06d0fd439347d1364078314b187dd388c5800c62.tar.gz otp-06d0fd439347d1364078314b187dd388c5800c62.tar.bz2 otp-06d0fd439347d1364078314b187dd388c5800c62.zip | |
Review by Kostis Sagonas and fixes
Diffstat (limited to 'lib/dialyzer/src/dialyzer_typesig.erl')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_typesig.erl | 34 |
1 files changed, 17 insertions, 17 deletions
diff --git a/lib/dialyzer/src/dialyzer_typesig.erl b/lib/dialyzer/src/dialyzer_typesig.erl index 73b98f62ee..04ff8e4941 100644 --- a/lib/dialyzer/src/dialyzer_typesig.erl +++ b/lib/dialyzer/src/dialyzer_typesig.erl @@ -91,23 +91,23 @@ -type typesig_scc() :: [{mfa(), {cerl:c_var(), cerl:c_fun()}, dict()}]. -type typesig_funmap() :: [{type_var(), type_var()}]. %% Orddict --record(state, {callgraph :: dialyzer_callgraph:callgraph(), - cs = [] :: [constr()], - cmap = dict:new() :: dict(), - fun_map = [] :: typesig_funmap(), - fun_arities = dict:new() :: dict(), - in_match = false :: boolean(), - in_guard = false :: boolean(), - module :: module(), - name_map = dict:new() :: dict(), - next_label :: label(), - self_recs :: [label()], - plt :: dialyzer_plt:plt(), - prop_types = dict:new() :: dict(), - records = dict:new() :: dict(), - opaques = [] :: [erl_types:erl_type()], - scc = [] :: [type_var()], - mfas :: [tuple()] +-record(state, {callgraph :: dialyzer_callgraph:callgraph(), + cs = [] :: [constr()], + cmap = dict:new() :: dict(), + fun_map = [] :: typesig_funmap(), + fun_arities = dict:new() :: dict(), + in_match = false :: boolean(), + in_guard = false :: boolean(), + module :: module(), + name_map = dict:new() :: dict(), + next_label :: label(), + self_recs :: [label()], + plt :: dialyzer_plt:plt(), + prop_types = dict:new() :: dict(), + records = dict:new() :: dict(), + opaques = [] :: [erl_types:erl_type()], + scc = [] :: [type_var()], + mfas = [] :: [dialyzer_callgraph:mfa_or_funlbl()] }). %%----------------------------------------------------------------------------- |