diff options
| author | Hans Bolinder <[email protected]> | 2017-05-22 15:22:19 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2017-05-22 15:22:19 +0200 |
| commit | 7247cb6fa047ca7c968b88f279832f39ea0b04f7 (patch) | |
| tree | 8cfc7b87f86d406410ae7cfafb7389c8edfd29f8 /lib/hipe | |
| parent | 036534e03edded03c3392a30cda189bca8dfacf5 (diff) | |
| parent | 0ec564035fb5de2c42ebb69be1d61933c79b4019 (diff) | |
| download | otp-7247cb6fa047ca7c968b88f279832f39ea0b04f7.tar.gz otp-7247cb6fa047ca7c968b88f279832f39ea0b04f7.tar.bz2 otp-7247cb6fa047ca7c968b88f279832f39ea0b04f7.zip | |
Merge branch 'hasse/dialyzer/fix_type_variable_bug/OTP-14423'
* hasse/dialyzer/fix_type_variable_bug/OTP-14423:
dialyzer: Warn for bad type variables of parameterized types
mnesia: Correct a type declaration
Diffstat (limited to 'lib/hipe')
| -rw-r--r-- | lib/hipe/cerl/erl_types.erl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/hipe/cerl/erl_types.erl b/lib/hipe/cerl/erl_types.erl index ea8cc1677d..4cfa80f153 100644 --- a/lib/hipe/cerl/erl_types.erl +++ b/lib/hipe/cerl/erl_types.erl @@ -5171,9 +5171,9 @@ cache_put(Key, Type, DeltaL, #cache{types = Types} = Cache) -> NewTypes = maps:put(Key, {Type, DeltaL}, Types), Cache#cache{types = NewTypes}. --spec t_var_names([erl_type()]) -> [atom()]. +-spec t_var_names([parse_form()]) -> [atom()]. -t_var_names([{var, _, Name}|L]) when L =/= '_' -> +t_var_names([{var, _, Name}|L]) when Name =/= '_' -> [Name|t_var_names(L)]; t_var_names([]) -> []. |